Re: simple doc point

(switching to bug-texinfo)

On Fri, Jul 22, 2022 at 02:26:49PM +0100, Gavin Smith wrote:
> Once I get some feedback on this, I'll commit the change and start work
> on making the change in texi2any.  I think this is a very important change
> to make for the sake of m4 where the space is incorrect!
> 
> diff --git a/doc/texinfo.tex b/doc/texinfo.tex
> index a2bcf60e49..c0e33f1780 100644
> --- a/doc/texinfo.tex
> +++ b/doc/texinfo.tex
> @@ -7835,12 +7835,16 @@ might help (with 'rm \jobname.?? \jobname.??s')%
>      \fi           % no return type
>      #3% output function name
>    }%
> -  {\rm\enskip}% hskip 0.5 em of \rmfont
> +  \expandafter\ifx\csname SETtxidefnamespace\endcsname\relax\else
> +    {\rm\enskip} % hskip 0.5 em of \rmfont
> +  \fi
>    %
>    \boldbrax
>    % arguments will be output next, if any.
>  }

It's now implemented in texinfo.tex and in the (new) LaTeX
back end.  It is used by adding a line

@set txidefnamenospace

before the definition block.  If the approach used for
LaTeX is okay, then it should be straightforward to
extend this to the other output formats.