git checkout master &&
make clean >/dev/null 2>&1 &&
+case "$(asciidoc --version 2>&1)" in
+asciidoc' 8'.*)
+ ASCIIDOC8=YesPlease
+ export ASCIIDOC8 ;;
+esac
+
case "$1" in
'')
echo "* Building all"
$GIT describe --abbrev=4 HEAD | sed -e 's/-/./g' >version
}
+case "$(asciidoc --version 2>&1)" in
+asciidoc' 8'.*)
+ ASCIIDOC8=YesPlease
+ export ASCIIDOC8 ;;
+esac
+
CFLAGS="$O $Wall -Wdeclaration-after-statement -g"
make $d \
rm -fr doc-$type-inst
done
+case "$(asciidoc --version 2>&1)" in
+asciidoc' 8'.*)
+ ASCIIDOC8=YesPlease
+ export ASCIIDOC8 ;;
+esac
+
make >./:html.log 2>&1 \
-C Documentation -j 2 \
WEBDOC_DEST="$DOCREPO/doc-html-inst" install-webdoc || exit