diff options
Diffstat (limited to 'doc/Makefile.inc')
| -rw-r--r-- | doc/Makefile.inc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/Makefile.inc b/doc/Makefile.inc index 237031271..1732c355a 100644 --- a/doc/Makefile.inc +++ b/doc/Makefile.inc @@ -13,4 +13,5 @@ SUFFIXES = .svg .msc .gv .html .adoc .adoc.html: asciidoctor $(ASCIIDOC_FLAGS) --out-file=$@ $< -ASCIIDOC_FLAGS =-a data-uri -b html5 -a icons=font -a toc2 +ASCIIDOC_FLAGS =-a data-uri -b html5 -a icons=font -a toc2 \ + $(EXTRA_ASCIIDOC_FLAGS) |