Re: Opinions on look of documentation

[Rik]

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