diff options
author | Martin Ågren <martin.agren@gmail.com> | 2019-09-16 21:00:26 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2019-09-16 12:27:34 -0700 |
commit | 226daba280be841833589d29d4375ba57d508878 (patch) | |
tree | 954e6009037bb0518bba4f7ca474d795f28c95f8 /range-diff.c | |
parent | Git 2.22.1 (diff) | |
download | tgif-226daba280be841833589d29d4375ba57d508878.tar.xz |
Doc/Makefile: give mansource/-version/-manual attributes
Rather than hardcoding "Git Manual" and "Git" as the manual and source
in asciidoc.conf, provide them as attributes `manmanual` and
`mansource`. Rename the `git_version` attribute to `manversion`.
These new attribute names are not arbitrary, see, e.g., [1].
For AsciiDoc (8.6.10) and Asciidoctor <1.5.7, this is a no-op. Starting
with Asciidoctor 1.5.7, `manmanual` and `mansource` actually end up in
the xml-files and eventually in the rendered manpages. In particular,
the manpage headers now render just as with AsciiDoc.
No versions of Asciidoctor pick up the `manversion` [2], and older
versions don't pick up any of these attributes. -- We'll fix that with a
bit of a hack in the next commit.
[1] https://asciidoctor.org/docs/user-manual/#man-pages
[2] Note how [1] says "Not used by Asciidoctor".
Signed-off-by: Martin Ågren <martin.agren@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'range-diff.c')
0 files changed, 0 insertions, 0 deletions