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