[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Makeinfo generates wrong link
From: |
Richard Stallman |
Subject: |
Re: Makeinfo generates wrong link |
Date: |
Mon, 03 Oct 2022 21:02:03 -0400 |
[[[ To any NSA and FBI agents reading my email: please consider ]]]
[[[ whether defending the US Constitution against all enemies, ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]
> > Changing that file would change the link, e.g.
> >
> > --- a/util/htmlxref.cnf
> > +++ b/util/htmlxref.cnf
> > @@ -340,7 +340,7 @@ gcal mono
${GS}/gcal/manual/gcal.html
> > gcal node ${GS}/gcal/manual/html_node/
> >
> > GCC = https://gcc.gnu.org/onlinedocs
> > -gcc node ${GCC}/gcc/
> > +gcc node ${GCC}/gcc-4.8.5/
> > cpp node ${GCC}/cpp/
> > gfortran node ${GCC}/gfortran/
> > gnat_rm node ${GCC}/gnat_rm/
On my machine, the file has
GCC = https://gcc.gnu.org/onlinedocs
gcc node ${GCC}/gcc/
cpp node ${GCC}/cpp/
gfortran node ${GCC}/gfortran/
gnat_rm node ${GCC}/gnat_rm/
gnat_ugn node ${GCC}/gnat_ugn/
libgomp node ${GCC}/libgomp/
libstdc++ node ${GCC}/libstdc++/
#
So where do these strange numbers come from?
https://gcc.gnu.org/onlinedocs/gcc/System_002dspecific-Predefined-Macros.html#System_002dspecific-Predefined-Macros
Could there be a bug in texi2any that handles hyphen wrong?
0x2d is the hex code for hyphen.
What does the source for that GCC manual say
for the node name? Does it have a space there, or a hyphen?
--
Dr Richard Stallman (https://stallman.org)
Chief GNUisance of the GNU Project (https://gnu.org)
Founder, Free Software Foundation (https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)
- Re: Makeinfo generates wrong link, (continued)
- Re: Makeinfo generates wrong link, Gavin Smith, 2022/10/03
- Re: Makeinfo generates wrong link, Jonathan Wakely, 2022/10/03
- Re: Makeinfo generates wrong link, Jonathan Wakely, 2022/10/03
- Re: Makeinfo generates wrong link, Gavin Smith, 2022/10/03
- Re: Makeinfo generates wrong link, Richard Stallman, 2022/10/03
- Re: Makeinfo generates wrong link, Jacob Bachmeyer, 2022/10/04
- Re: Makeinfo generates wrong link, Richard Stallman, 2022/10/04
- Re: Makeinfo generates wrong link, Gavin Smith, 2022/10/04
- Re: Makeinfo generates wrong link, Jonathan Wakely, 2022/10/04
- Re: Makeinfo generates wrong link, Richard Stallman, 2022/10/10
Re: Makeinfo generates wrong link,
Richard Stallman <=