diff --git a/Documentation/Makefile b/Documentation/Makefile
index aaf95918c3cb0e89b9c608e1df4eb548f38203d7..9e7f2a78800e3f06b78f644b7cd6a4b632900a8a 100644 (file)
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
# DESTDIR=
ASCIIDOC=asciidoc
+ASCIIDOC_EXTRA =
INSTALL?=install
DOC_REF = origin/man
rm -f $(cmds_txt)
%.html : %.txt
- $(ASCIIDOC) -b xhtml11 -d manpage -f asciidoc.conf $<
+ $(ASCIIDOC) -b xhtml11 -d manpage -f asciidoc.conf $(ASCIIDOC_EXTRA) $<
%.1 %.7 : %.xml
xmlto -m callouts.xsl man $<