[PATCH] Documentation: bold literals in man

Backticks are emphasized through monospaced styling in the HTML
version of Git documentation. But were left unstyled in the man version.

To make the man version reading more comfortable, `MAN_BOLD_LITERAL`
was added by:
5121a6d (Documentation: option to render literal text as bold for
manpages, 2009-03-27)
It allowed the user to build the documentation manpages with literals
in bold style.

For precaution it was not set by default.
Since 79c461d (docs: default to more modern toolset, 2010-11-19),
it is assumed ASCIIDOC 8 and at least docbook-xsl 1.73 are used,
so no compatibility issue may occur.

Remove `MAN_BOLD_LITERAL`. Set by default literals as bold.
Implement `NO_MAN_BOLD_LITERAL`, a new Makefile option, disabling
this feature when defined.

Signed-off-by: Erwan MATHONIERE <redacted>
Signed-off-by: Samuel GROOT <redacted>
Signed-off-by: Tom RUSSELLO <redacted>
Signed-off-by: Matthieu MOY <redacted>
---
 Documentation/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Documentation/Makefile b/Documentation/Makefile
index f6e288b..35c1385 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

-- 
2.8.2.662.gc18eb58