diff -r 31570b766315 -r ed5a6478e710 tools/docgen.sh
--- a/tools/docgen.sh	Tue Nov 10 18:16:35 2015 +0100
+++ b/tools/docgen.sh	Tue Nov 10 20:43:13 2015 +0100
@@ -25,10 +25,13 @@
 branch=$(hg identify -b)
 rev=$(hg identify -rdefault -i)
 
-branchurl="<a href=http://code.google.com/p/hedgewars/source/list?name=${branch}>${branch}</a>"
-revurl="<a href=http://code.google.com/p/hedgewars/source/detail?r=${rev}>${rev}</a>"
+#branchurl="<a href=http://code.google.com/p/hedgewars/source/list?name=${branch}>${branch}</a>"
+#revurl="<a href=http://code.google.com/p/hedgewars/source/detail?r=${rev}>${rev}</a>"
 
-export PROJECT_NUMBER="${branchurl} as of ${revurl}"
+branchurl="$branch"
+revurl="$rev"
+
+export PROJECT_NUMBER="${branchurl} branch, ${revurl}"
 export OUTPUT_DIRECTORY
 
 fi