[PATCH] install-info: fix delete dir file section code

Gavin, I offer the following for your consideration. Thank you, John Wheeler Bug report: Off-by-one flaw in deleting empty dir section Current troublesome behavior: install-info adds a blank line before the final dir file section each time that section is removed and re-installed.  This i

Re: [PATCH] install-info: fix delete dir file section code

On 3/24/23 14:41, Gavin Smith wrote: Thanks for the detailed instructions on how to replicate this problem. I agree that the extra blank line being inserted is not a good thing. Could it be fixed by avoiding adding an extra blank line if not needed, rather than by deleting an extra line? With

Re: [PATCH] install-info: fix delete dir file section code

On Fri, Mar 24, 2023 at 12:32:45PM -0500, John Wheeler wrote: > Bug report: Off-by-one flaw in deleting empty dir section > > Current troublesome behavior: install-info adds a blank line > before the final dir file section each time that section is > removed and re-installed.  This is troublesome

Re: [PATCH] Texinfo: inconsistent behavior: cmd line vs. env

On Thu, Mar 23, 2023 at 09:20:44PM +0100, Bogdan wrote: > > In the new patch above "." is no longer a special case. > > > Sounds fine, thank you! I've committed it in commit 967c03a001. Thanks for the report and suggested fix. I agree it was confusing the way it was so this should hopefully a