diff options
| author | Graham Christensen <graham@grahamc.com> | 2019-02-07 22:33:59 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-07 22:33:59 (GMT) |
| commit | 9aa947471fcfc607bec6d92a1a6eed5c692edbaf (patch) | |
| tree | b99fda2f01e7e4dda26a0d3278adce2e289cb509 | |
| parent | 52ba2078905bfcc3741b27fd369acdfb9ea87ab8 (diff) | |
| download | Ninja-9aa947471fcfc607bec6d92a1a6eed5c692edbaf.zip Ninja-9aa947471fcfc607bec6d92a1a6eed5c692edbaf.tar.gz Ninja-9aa947471fcfc607bec6d92a1a6eed5c692edbaf.tar.bz2 | |
Docs: Make builds reproducible by generating the same IDs from the same inputs
| -rw-r--r-- | doc/docbook.xsl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/docbook.xsl b/doc/docbook.xsl index 19cc126..2235be2 100644 --- a/doc/docbook.xsl +++ b/doc/docbook.xsl @@ -21,6 +21,9 @@ <!-- Don't put the "Chapter 1." prefix on the "chapters". --> <xsl:param name="chapter.autolabel">0</xsl:param> + <!-- Make builds reproducible by generating the same IDs from the same inputs --> + <xsl:param name="generate.consistent.ids">1</xsl:param> + <!-- Use <ul> for the table of contents. By default DocBook uses a <dl>, which makes no semantic sense. I imagine they just did it because it looks nice? --> |