[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Patch for makeinfo.1
From: |
Karl Berry |
Subject: |
Re: Patch for makeinfo.1 |
Date: |
Mon, 4 Apr 2005 17:10:47 -0400 |
It looks as if the different indentation of the last line were intentional.
Yes, it was.
As soon as the last line has the same indentation as the previous two,
help2man starts to work.
So I think I should fix this option this way. Would you agree?
Yes. Since help2man works better with all the same indentation, please
go ahead and make that fix. Preserving the tiny semantic difference
of the extra indentation definitely isn't worth all the extra trouble.
Thanks!