diff options
author | Junio C Hamano <gitster@pobox.com> | 2020-12-14 10:21:37 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2020-12-14 10:21:37 -0800 |
commit | aa35dadb26bf79fc100d84f3effbdc161849386c (patch) | |
tree | fe7a40b64576ae4623ddb6a186d113462b2682ca /Documentation/config/maintenance.txt | |
parent | Merge branch 'so/glossary-branch-is-not-necessarily-active' (diff) | |
parent | doc: make HTML manual reproducible (diff) | |
download | tgif-aa35dadb26bf79fc100d84f3effbdc161849386c.tar.xz |
Merge branch 'ae/doc-reproducible-html'
Newer versions of xsltproc can assign IDs in HTML documents it
generates in a consistent manner. Use the feature to help format
HTML version of the user manual reproducibly.
* ae/doc-reproducible-html:
doc: make HTML manual reproducible
Diffstat (limited to 'Documentation/config/maintenance.txt')
0 files changed, 0 insertions, 0 deletions