On Wed, Jan 10, 2024 at 11:53:24PM +0100, Patrice Dumas wrote:
> Hello,
>
> Right now, a .inf or .info extension in fourth @ref/@xref... argument is
> removed to determine the manual base name for the purpose of doing cross
> references to manuals in HTML. I guess that it comes from the time when
> the manual name was an info file name and needed an extension to be
> found, a time long gone.
>
> I propose that we stop removing that extension, because nowadays it is
> better if manuals are fixed instead, because we do not do that for other
> output formats and because it is not documented in the HTML Xref
> specification:
> https://www.gnu.org/software/texinfo/manual/texinfo/html_node/HTML-Xref-Link-Basics.html
>
> If we continue removing the extension, it should be mentioned in the
> manual in the HTML Xref specification, I think as an exception that
> other implementations do not need to follow, as it should be mentioned
> and also because it makes texi2any non conforming to the HTML Xref
> specification.
>
> Any oppostion to stopping removing the extension?
I have to bring this up again. (I never replied at the time.)
Setting CHECK_HTMLXREF by default has revealed that some manuals still
have .info in manual names in odd places.
$ ../tp/texi2any.pl --html ../../libc/libc.texi
libc.texi:118: warning: no htmlxref.cnf entry found for `dir'
intro.texi:1037: warning: no htmlxref.cnf entry found for `cpp.info'
stdio.texi:3427: warning: no htmlxref.cnf entry found for `flex.info'
stdio.texi:3428: warning: no htmlxref.cnf entry found for `bison.info'
maint.texi:709: warning: no htmlxref.cnf entry found for `autoconf.info'
For example, in intro.texi there is
For more information about the use of header files and @samp{#include}
directives, @pxref{Header Files,,, cpp.info, The GNU C Preprocessor
Manual}.
This is currently output as:
<p>For more information about the use of header files and ‘<samp
class="samp">#include</samp>’
directives, see <a data-manual="cpp.info"
href="../cpp.info_html/Header-Files.html#Header-Files">Header Files</a> in
<cite class="cite">The GNU C Preprocessor
Manual</cite>.
</p>
which is no good.
This is for glibc version 2.37 and I downloaded the manual sometime in
2023 for testing purposes, so quite recent.
Can we strip off the .info suffix and give a warning that it shouldn't be
used?
