[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: How many spaces after a period?
From: |
Karl Berry |
Subject: |
Re: How many spaces after a period? |
Date: |
Mon, 13 Sep 2010 23:50:56 GMT |
Hi Gary,
will texinfo render badly spaced dvi (or other) if we use single
spaces after a period, or even if we are inconsistent throughout an
input document?
DVI isn't the problem (TeX always does the right thing). Info is the
problem. Makeinfo does cheap text refilling. So if a sentence happens
to end at the end of an input line.
Like that, then Makeinfo will insert two spaces, even though it does not
alter sentence spacing in mid-line. So, the output will be inconsistent:
... refilling. So if ... an input line. Like that, ...
even though I consistently used one space after all the periods I typed
in that paragraph.
Clearly this insertion of two spaces (if not frenchspacing) could be an
option in Texinfo. But since there is 25 years of history saying that
Texinfo input documents should have two spaces, and GNU text in general,
I'm not enchanted at the idea of spending time supporting the other
convention.
avoid having to count spaces during patch reviews.
Completely understandable :).
If double spaces turn out to be required in texinfo, then I'll write
a maintainer make rule to check for violations
I think that's the path of least resistance.
For example, HTML really doesn't care, and renders output consistently
.. and suboptimally ... (anyway)
Happy spacing,
k
- Re: [PATCH 7/7] Prefer $NM @file over calculating the cmd line length., (continued)
- Re: [PATCH 7/7] Prefer $NM @file over calculating the cmd line length., Peter Rosin, 2010/09/11
- Re: [PATCH 7/7] Prefer $NM @file over calculating the cmd line length., Ralf Wildenhues, 2010/09/12
- How many spaces after a period? [WAS: Re: [PATCH 7/7] Prefer $NM @file over calculating the cmd line length.], Gary V. Vaughan, 2010/09/12
- Re: How many spaces after a period? [WAS: Re: [PATCH 7/7] Prefer $NM @file over calculating the cmd line length.], Ralf Wildenhues, 2010/09/12
- Re: How many spaces after a period? [WAS: Re: [PATCH 7/7] Prefer $NM @file over calculating the cmd line length.], Karl Berry, 2010/09/12
- Re: How many spaces after a period?, Gary V. Vaughan, 2010/09/13
- Re: How many spaces after a period?,
Karl Berry <=
- Re: [PATCH 7/7] Prefer $NM @file over calculating the cmd line length., Peter Rosin, 2010/09/13
- Re: [PATCH 7/7] Prefer $NM @file over calculating the cmd line length., Peter Rosin, 2010/09/13
- Re: [PATCH 7/7] Prefer $NM @file over calculating the cmd line length., Ralf Wildenhues, 2010/09/16
- Re: [PATCH 7/7] Prefer $NM @file over calculating the cmd line length., Peter Rosin, 2010/09/16
Re: [PATCH 0/7] Support for toolchains that are not $build-native., Peter Rosin, 2010/09/05