[Top][All Lists]

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

Re: simple doc point

From: Eric Blake
Subject: Re: simple doc point
Date: Tue, 12 Jul 2022 08:32:42 -0500
User-agent: NeoMutt/20220429-157-d20c88

On Thu, Jun 09, 2022 at 07:26:10PM +0100, Gavin Smith wrote:
> My preferred solution for this at the moment is to add a new command,
> akin to @deftypefnnewline, which would toggle whether a space was
> output after the definition name. It would be included in Texinfo
> source files if required. This would be fairly straightforward to
> implement. In texinfo.tex, the space is output in \defname, and this
> could easily be made conditional:

Adding a new command to suppress the space after \defname sounds
reasonable.  I'd be happy to test how that looks in the m4 manual,
although I'm not a texinfo.tex expert to write such a patch myself.

> diff --git a/doc/texinfo.tex b/doc/texinfo.tex
> index a2bcf60e49..c742b63583 100644
> --- a/doc/texinfo.tex
> +++ b/doc/texinfo.tex
> @@ -7835,7 +7835,7 @@ might help (with 'rm \jobname.?? \jobname.??s')%
>      \fi           % no return type
>      #3% output function name
>    }%
> -  {\rm\enskip}% hskip 0.5 em of \rmfont
> +  %\rm\enskip}% hskip 0.5 em of \rmfont
>    %
>    \boldbrax
>    % arguments will be output next, if any.
> Does anyone have any comments?

Eric Blake, Principal Software Engineer
Red Hat, Inc.           +1-919-301-3266
Virtualization:  qemu.org | libvirt.org

reply via email to

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