[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Opinions on look of documentation
From: |
Rik |
Subject: |
Re: Opinions on look of documentation |
Date: |
Fri, 11 Dec 2015 15:00:35 -0800 |
On 12/11/2015 02:12 PM, John W. Eaton wrote:
> On 12/11/2015 04:44 PM, Rik wrote:
>
>> It is Texinfo that is placing the ':' in the output. To code this properly
>> would require creating our own @defXXX command in texinfo.tex which would
>> probably require us to ship that file with the distribution. We used to do
>> that up until version 4.0.
>
> Changing texinfo.tex won't have any effect on the output from makeinfo.
> It will only change the PDF or DVI+PostScript output.
>
>>> If it is not possible to configure makeinfo to display this way, I guess
>>> we could fix that with a sed filter.
>>
>> We could hack it externally in sed, or with regexprep in Octave which might
>> be more portable. The command help is used interactively so I don't think
>> performance is an issue (it operates on a slow human time scale).
>>
>>>
>>> Also, why the extra space before "ls..." vs. "LIST..."? Where is that
>>> coming from?
>>
>> Also Texinfo. This might be fixable if we manipulate the texinfo.tex file.
>
> Hmm, I don't see the problem on my system. I'm using
>
> $ makeinfo --version
> texi2any (GNU texinfo) 6.0
>
I'm way back at texinfo 4.13 so I guess they have improved some things
since 2012.04.
--Rik