Re: IR badly formated in html

[Werner LEMBERG]

> Looks like this comes from the use of "@/", which has been
> introduced with
> 
> commit 1f3a6cdc25ab978589fb01894dce34d7d6c1e972
> Author: Werner Lemberg <wl@gnu.org>
> Date:   Sun Aug 8 15:51:29 2021 +0200
> 
>     doc: Avoid overlong index entries in generated documentation
> 
>     Insert `@/` after `::` in function names.  Only PDF output is
>     affected.
> 
> 
> Werner, thoughts?

Sigh.  A bug with our antique `texi2html`, not present in current
texinfo's `texi2any --html`...

Please enclose the first argument of `@defun` with @code{...}, like
this:

  @defun @code{foo-bar::@/baz} bar? bar bar

According to my tests this workaround succeeds with `texi2html` 1.82;
it also fixes the index entry and is still valid HTML (inspite of
`<code><code> ... </code></code>` in the generated index data).  The
PDF output is unchanged.


    Werner