diff options
author | Jonathan Corbet <corbet@lwn.net> | 2015-08-06 12:57:44 -0600 |
---|---|---|
committer | Jonathan Corbet <corbet@lwn.net> | 2015-08-06 12:57:44 -0600 |
commit | 60004ca5dcfbf43182a9ba42bcbbf216c3684433 (patch) | |
tree | a162fa48c8ec29ae88ac66deb22c46d05999a849 /Documentation/DocBook | |
parent | 7c97211b61d8b91b8f88237e4bbb3a8959ecb18a (diff) | |
parent | e9c9963b439db734e9705f96909c5a3388dd81bb (diff) | |
download | op-kernel-dev-60004ca5dcfbf43182a9ba42bcbbf216c3684433.zip op-kernel-dev-60004ca5dcfbf43182a9ba42bcbbf216c3684433.tar.gz |
Merge branch 'doc/4.3-reproducible' into docs-next
Ben Hutchings writes:
As part of the reproducible builds project, Jérémy Bobbio identified
several time-dependent and non-deterministic functions in the document
build process (htmldocs, mandocs targets). This patch series should fix
all of those.
I ended up reverting one patch that introduced problems.
Diffstat (limited to 'Documentation/DocBook')
-rw-r--r-- | Documentation/DocBook/Makefile | 2 | ||||
-rw-r--r-- | Documentation/DocBook/stylesheet.xsl | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/Documentation/DocBook/Makefile b/Documentation/DocBook/Makefile index 170042a..b7d2110 100644 --- a/Documentation/DocBook/Makefile +++ b/Documentation/DocBook/Makefile @@ -56,7 +56,7 @@ htmldocs: $(HTML) MAN := $(patsubst %.xml, %.9, $(BOOKS)) mandocs: $(MAN) - find $(obj)/man -name '*.9' | xargs gzip -f + find $(obj)/man -name '*.9' | xargs gzip -nf installmandocs: mandocs mkdir -p /usr/local/man/man9/ diff --git a/Documentation/DocBook/stylesheet.xsl b/Documentation/DocBook/stylesheet.xsl index 85b2527..3bf4ecf 100644 --- a/Documentation/DocBook/stylesheet.xsl +++ b/Documentation/DocBook/stylesheet.xsl @@ -5,6 +5,7 @@ <param name="funcsynopsis.tabular.threshold">80</param> <param name="callout.graphics">0</param> <!-- <param name="paper.type">A4</param> --> +<param name="generate.consistent.ids">1</param> <param name="generate.section.toc.level">2</param> <param name="use.id.as.filename">1</param> </stylesheet> |