diff --git a/common/Makefile.common b/common/Makefile.common index 110a1163..4cac38e4 100644 --- a/common/Makefile.common +++ b/common/Makefile.common @@ -63,7 +63,8 @@ info: @echo -e "jar files $(shell echo ${JAR_FILES} | sed 's/ /\\n /g' )" @echo "xpi files ${XPI_FILES}" -doc: ${DOC_FILES} +.PHONY: check-asciidoc +doc: check-asciidoc ${DOC_FILES} xpi: ${XPI} jar: ${JAR} @@ -104,6 +105,10 @@ $(JAR): doc #### doc +check-asciidoc: + @asciidoc --version | awk '{ exit $$2 !~ /^8\.2\./ }' || \ + echo >&2 "Warning: asciidoc versions other 8.2.x are unsupported" + ${DOC_FILES}: %.html: %.txt $(BASE)/Makefile.common locale/en-US/asciidoc.conf @echo "DOC $@" ${ASCIIDOC} --unsafe -a linkcss -a quirks! -a doctitle="$(shell basename $@)" -o $@ $<