Index: docs/src/make_docs.sh |
diff --git a/docs/src/make_docs.sh b/docs/src/make_docs.sh |
index 2a59b5d5431c941efea3096a1b4097506aa578f3..d011a61229230fda628d4995a324e15982736dff 100755 |
--- a/docs/src/make_docs.sh |
+++ b/docs/src/make_docs.sh |
@@ -41,6 +41,8 @@ then |
fi |
echo Asciidoc up to date at $ASCIIDOC_HASH \($BRANCH\) |
+export PATH=`pwd`/asciidoc:$PATH |
+ |
# We pull ansi2hash to convert demo script output |
BRANCH=1.0.6 |
ANSI2HTML_HASH=6282ab7a24a5a7eab2e0b23bb0055234c533a6e9 |