Synchronize the version numbers in different files

mquinson · mquinson · commit f0776250b380 · 2024-09-05T15:18:55.000+02:00
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

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+# Please keep the version number synchronized in Makefile`
	`2`	`+`
`1`	`3`	`version 0.3.2: Allow to use docker as the virtualization tool`
`2`	`4`	`- Thanks to mwalp for the patch.`
`3`	`5`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-VERSION=0.3`
	`1`	`+VERSION=0.3.2`
`2`	`2`	`all:`
`3`	`3`	`./compiler.py`
`4`	`4`	@cd exo; for f in `find -name '*.list'` ; do echo "Copying $$f over"; cp $$f ../site/$$f ; done