Index: doc/theses/thierry_delisle/version.sh
===================================================================
--- doc/theses/thierry_delisle/version.sh	(revision 90152a4860529aff7214be01cd22abd37012cd19)
+++ doc/theses/thierry_delisle/version.sh	(revision 90152a4860529aff7214be01cd22abd37012cd19)
@@ -0,0 +1,6 @@
+#!/bin/bash
+if [ ! -f version ]; then
+    echo "0.0.0" > version
+fi
+
+sed -r 's/([0-9]+\.[0-9]+.)([0-9]+)/echo "\1\$((\2+1))" > version/ge' version > /dev/null