[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Wed, 4 Jun 2003 15:20:16 +0200
On Wed, Jun 04, 2003 at 09:09:46AM -0400, Karl Berry wrote:
> In practice, I'm afraid it is more practical for the gettext manual to
> be changed.
> This is an unfortunate discrepancy between Info output and everything
> else, and I'd like to fix it, [...]
OK, I understand your opinion now.
Continuing with philosophical discussion, what about multiple spaces
in source? They are equal to only one in TeX, so perhaps makeinfo
could condese them too.
And what about multiple spaces an the end of a sentence? TeX has its
own way to handle this (spacefactor). Should makeinfo have similar
If yes, shouldn't we implement @frenchspacing in makeinfo?
(Currently, users are happy, as their style of writing texinfo
sources gets copied to info files.)