Have depot_tools manpage generation pin asciidoc version too.

docs/src/make_docs.sh

Index: docs/src/make_docs.sh
diff --git a/docs/src/make_docs.sh b/docs/src/make_docs.sh
index 5c0240dd3b4f6789d9b43c4c7ab9ddd74119d1a0..ac8ab42ba9e5707000350722f83684472b6704e2 100755
--- a/docs/src/make_docs.sh
+++ b/docs/src/make_docs.sh
@@ -20,7 +20,6 @@ ensure_in_path() {
 }
 
 ensure_in_path xmlto
-ensure_in_path asciidoc
 
 DFLT_CATALOG_PATH="/usr/local/etc/xml/catalog"
 if [[ ! $XML_CATALOG_FILES && -f "$DFLT_CATALOG_PATH" ]]
@@ -30,6 +29,20 @@ then
   echo Using \'$DFLT_CATALOG_PATH\' for \$XML_CATALOG_FILES.
 fi
 
+# We pull asciidoc to get the right version
+BRANCH=8.6.9
+ASCIIDOC_HASH=7fed0aff1b30
+if [[ ! -d asciidoc || $(cd asciidoc && hg id -i) != $ASCIIDOC_HASH ]]
+then
+  echo Cloning asciidoc
+  rm -rf asciidoc
+  hg clone -r $BRANCH https://asciidoc.googlecode.com/hg/ asciidoc
+  (cd asciidoc && ln -s asciidoc.py asciidoc)
+fi
+echo Asciidoc up to date at $ASCIIDOC_HASH \($BRANCH\)
+
+export PATH=`pwd`/asciidoc:$PATH
+
 # We pull git to get its documentation toolchain
 BRANCH=v1.9.0
 GITHASH=5f95c9f850b19b368c43ae399cc831b17a26a5ac