git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: [PATCH] git-rm.txt: Fix quoting

From
Michael J Gruber <git@drmicha.warpmail.net>
Date
Dec 8, 2010, 08:08 UTC
Message-ID
<4CFF3CE2.9040908@drmicha.warpmail.net>
In-Reply-To
<20101207164315.GA21749@sigill.intra.peff.net>
Jeff King venit, vidit, dixit 07.12.2010 17:43:
Show 22 quoted lines
> On Tue, Dec 07, 2010 at 10:07:11AM +0100, Michael J Gruber wrote:
> 
>> Literal " produces typographically incorrect quotations, but "works" in
>> most circumstances. In the subheadings of git-rm.txt, it "works" for the
>> html backend but not for the docbook conversion to nroff: double "" and
>> spurious double spaces appear in the output.
>>
>> Replace "incorrect" quotations by ``correct'' ones, and fix other
>> "quotations" which are really `code fragments`.
>>
>> This should make git-rm.txt "-clean.
> 
> Thanks, this is a much better solution than what I posted earlier.
> 
> Acked-by: Jeff King <peff@peff.net>
> 
>> We still have a lingering inconsistency for denoting code fragments.
>> Single backticks merely are a literal monospaced environment; html outputcolors
>> this, nroff does not indicate it at all. I'm staying consistent with the
>> surrounding text here.
> 
> Try setting MAN_BOLD_LITERAL in your config.mak.

Always learning something new about our doc tooclchain... and what a great name for an option! Although it should be "Man, bold, literally!".

Michael
Previous: Jeff KingNext: Jonathan Nieder
Message 5 of 9 in “[BUG] yet another doc formatting problem”
  1. Jeff KingDec 7, 2010
  2. Michael J GruberDec 7, 2010
  3. git-rm.txt: Fix quotingMichael J Gruber, Dec 7, 2010
  4. Jeff KingDec 7, 2010
  5. Michael J GruberDec 8, 2010
  6. Jonathan NiederDec 7, 2010
  7. Jeff KingDec 7, 2010
  8. [PATCHv2] git-rm.txt: Fix quotingMichael J Gruber, Dec 8, 2010
  9. Junio C HamanoDec 7, 2010

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.