diff options
Diffstat (limited to '')
| -rw-r--r-- | Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 606081fab..0e3b871e7 100644 --- a/Makefile.am +++ b/Makefile.am @@ -2083,7 +2083,7 @@ if HAVE_XMLTO DOCBOOK_HTML = $(patsubst %.xml,%/index.html,$(DOCBOOK_FILES)) $(DOCBOOK_HTML): %/index.html: %.xml - $(XMLTO) -o $(@D) --stringparam chunker.output.encoding=utf-8 html $< + $(XMLTO) -o $(@D) --stringparam chunker.output.encoding=utf-8 html --stringparam use.id.as.filename=1 $< else |