Synchronize the version numbers in different files

mquinson · Sep 5, 2024 · f077625 · f077625
1 parent f71f50c
commit f077625
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 2 deletions.
diff --git 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
@@ -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
@@ -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