Re: simple doc point

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