Index: doc/theses/thierry_delisle/build/bump_ver.sh
===================================================================
--- doc/theses/thierry_delisle/build/bump_ver.sh	(revision 728df66bde6df9b1ca4ad068be30ea89605f46a3)
+++ doc/theses/thierry_delisle/build/bump_ver.sh	(revision 728df66bde6df9b1ca4ad068be30ea89605f46a3)
@@ -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
