diff -r 5d804405964d -r 4dd77731453b tools/docgen.sh
--- a/tools/docgen.sh Sat Jan 16 19:11:21 2016 +0100
+++ b/tools/docgen.sh Sat Jan 16 19:20:06 2016 +0100
@@ -25,13 +25,7 @@
branch=$(hg identify -b)
rev=$(hg identify -rdefault -i)
-#branchurl="${branch}"
-#revurl="${rev}"
-
-branchurl="$branch"
-revurl="$rev"
-
-export PROJECT_NUMBER="${branchurl} branch, ${revurl}"
+export PROJECT_NUMBER="${branch} branch, ${rev}"
export OUTPUT_DIRECTORY
fi