[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] ignoring Info extensions

From: Karl Berry
Subject: Re: [PATCH] ignoring Info extensions
Date: Wed, 31 Mar 2004 21:01:33 -0500

    question: is trailing whitespace allowed in Info node names

No.  It "should" not occur.

    officially by Texinfo documentation and by `makeinfo'? 

By coincidence, there was a recent bug report pointing that TeX barfed
on node names with trailing whitespace, while makeinfo accepted them.  I
will change makeinfo to make this an error, or at least a warning, and
remove such trailing whitespace so it doesn't get into the output.

I can't find anything in the documentation that says explicitly one way
or the other.  I'll change that.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]