diff options
| author | Wilmer van der Gaast <wilmer@gaast.net> | 2014-09-21 00:19:20 +0200 |
|---|---|---|
| committer | Wilmer van der Gaast <wilmer@gaast.net> | 2014-09-21 00:19:20 +0200 |
| commit | b447d2b3a8d9474ffa0bbff93caa57ab45f37e73 (patch) | |
| tree | ce85fcbc65210b78b69e613870dcfb3f282a488b | |
| parent | 72721cd2a7142504b2f1249a1e03b2a80a4518ea (diff) | |
Pass generate.consistent.ids flag to xsltproc so id tags in HTML output will
no longer be randomised, so when you generate the file from the same input,
it will in fact generate the same output.
| -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 $< |