summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2016-06-03 14:38:02 -0700
committerJunio C Hamano <gitster@pobox.com>2016-06-03 14:38:02 -0700
commita8398b952d9d0cb43e0c41431b8326b65fd631fd (patch)
treeba2a28bc31ce73aafac04c2580e0988ad956f435
parent1df2d6e8dfb36aa82e33777b982a9f5cecffee9b (diff)
parent5945717009cbd07fc303939452df6475ac342fe7 (diff)
downloadgit-a8398b952d9d0cb43e0c41431b8326b65fd631fd.tar.gz
Merge branch 'em/man-bold-literal'
The manpage output of our documentation did not render well in terminal; typeset literals in bold by default to make them stand out more. * em/man-bold-literal: Documentation: bold literals in man
-rw-r--r--Documentation/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile
index f6e288bc63..35c1385ef7 100644
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -146,7 +146,7 @@ else
ASCIIDOC_EXTRA += -a git-asciidoc-no-roff
endif
endif
-ifdef MAN_BOLD_LITERAL
+ifndef NO_MAN_BOLD_LITERAL
XMLTO_EXTRA += -m manpage-bold-literal.xsl
endif
ifdef DOCBOOK_SUPPRESS_SP