diff options
| -rw-r--r-- | doc/user-guide/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user-guide/Makefile b/doc/user-guide/Makefile index 0215ede8..af4180a1 100644 --- a/doc/user-guide/Makefile +++ b/doc/user-guide/Makefile @@ -16,7 +16,7 @@ all: user-guide.txt user-guide.html help.txt # user-guide.pdf user-guide.ps user mv $*.db.txt $@ %.html: %.db.xml - xsltproc --output $@ http://docbook.sourceforge.net/release/xsl/current/xhtml/docbook.xsl $< + xsltproc --param generate.consistent.ids 1 --output $@ http://docbook.sourceforge.net/release/xsl/current/xhtml/docbook.xsl $< %.pdf: %.db.xml xmlto --skip-validation pdf $< |