File tree Expand file tree Collapse file tree 3 files changed +18
-0
lines changed
Expand file tree Collapse file tree 3 files changed +18
-0
lines changed Original file line number Diff line number Diff line change @@ -17,6 +17,12 @@ make clean >/dev/null 2>&1 &&
1717git checkout master &&
1818make clean > /dev/null 2>&1 &&
1919
20+ case " $( asciidoc --version 2>&1 ) " in
21+ asciidoc' 8' .* )
22+ ASCIIDOC8=YesPlease
23+ export ASCIIDOC8 ;;
24+ esac
25+
2026case " $1 " in
2127' ' )
2228 echo " * Building all"
Original file line number Diff line number Diff line change @@ -81,6 +81,12 @@ sh -c 'git describe --abbrev=4 HEAD' >/dev/null 2>&1 || {
8181 $GIT describe --abbrev=4 HEAD | sed -e ' s/-/./g' > version
8282}
8383
84+ case " $( asciidoc --version 2>&1 ) " in
85+ asciidoc' 8' .* )
86+ ASCIIDOC8=YesPlease
87+ export ASCIIDOC8 ;;
88+ esac
89+
8490CFLAGS=" $O $Wall -Wdeclaration-after-statement -g"
8591
8692make $d \
Original file line number Diff line number Diff line change 7171 rm -fr doc-$type -inst
7272done
7373
74+ case " $( asciidoc --version 2>&1 ) " in
75+ asciidoc' 8' .* )
76+ ASCIIDOC8=YesPlease
77+ export ASCIIDOC8 ;;
78+ esac
79+
7480make > ./:html.log 2>&1 \
7581 -C Documentation -j 2 \
7682 WEBDOC_DEST=" $DOCREPO /doc-html-inst" install-webdoc || exit
You can’t perform that action at this time.
0 commit comments