diff --git a/ChangeLog b/ChangeLog index cc5f0b8..f81449c 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,5 @@ +# Please keep the version number synchronized in Makefile + version 0.3.2: Allow to use docker as the virtualization tool - Thanks to mwalp for the patch. diff --git a/Makefile b/Makefile index e45209e..8ca05f2 100644 --- a/Makefile +++ b/Makefile @@ -1,4 +1,4 @@ -VERSION=0.3 +VERSION=0.3.2 all: ./compiler.py @cd exo; for f in `find -name '*.list'` ; do echo "Copying $$f over"; cp $$f ../site/$$f ; done diff --git a/compiler.py b/compiler.py index 16a05ec..e94942d 100755 --- a/compiler.py +++ b/compiler.py @@ -1,7 +1,7 @@ #! /usr/bin/python3 """ - 2023 (C) Martin Quinson. + 2023-2024 (C) Martin Quinson. This file is distributed as GPL v3+. """ @@ -119,6 +119,7 @@ def compile_sharin(outfile_name: str, sharin_name:str, script_template: str) -> render_html(f"{outfile}html", f.read()) + # Compile the sharin scripts print("-" * 50 + "\nCompile the sharin scripts\n") for file_name in sorted(Path('exo').rglob('*.sharin')): if not file_name.name.startswith('.#'): # Pass emacs temp files