From: Andreas Schwab <schwab@linux-m68k.org>
To: Jeff King <peff@peff.net>
Cc: mofaph <mofaph@gmail.com>, David Kastrup <dak@gnu.org>,
git <git@vger.kernel.org>
Subject: Re: info: display '--' as '-'
Date: Tue, 07 Aug 2012 10:29:00 +0200 [thread overview]
Message-ID: <m2lihrxfzn.fsf@igel.home> (raw)
In-Reply-To: <20120807060157.GA13222@sigill.intra.peff.net> (Jeff King's message of "Tue, 7 Aug 2012 02:01:57 -0400")
Jeff King <peff@peff.net> writes:
> The data looks OK in user-manual.texi, but "--" is converted to "-" in
> git.info. So either:
>
> 1. There is a bug in makeinfo, which should not be doing this
> conversion inside a "@display" section.
The texinfo manual says that @display does not change the font (unlike
@example), so the body will be rendered like normal text apart from the
extra indentation and preserved line breaks.
Andreas.
--
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5
"And now for something completely different."
prev parent reply other threads:[~2012-08-07 8:29 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-08-06 3:08 info: display '--' as '-' mofaph
2012-08-07 6:01 ` Jeff King
2012-08-07 7:17 ` David Kastrup
2012-08-07 19:42 ` Jeff King
2012-08-07 20:07 ` [PATCH] docs: monospace listings in docbook output Jeff King
2012-08-07 8:29 ` Andreas Schwab [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=m2lihrxfzn.fsf@igel.home \
--to=schwab@linux-m68k.org \
--cc=dak@gnu.org \
--cc=git@vger.kernel.org \
--cc=mofaph@gmail.com \
--cc=peff@peff.net \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.