Makeinfo generates wrong link

[Richard Stallman]

[[[ 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. ]]]

The GNU C Language Manual has this text:

    Some macros are predefined on each kind of machine
    (@pxref{System-specific Predefined Macros, System-specific Predefined
    Macros, System-specific Predefined Macros, gcc, Using the GNU Compiler
    Collection}).  This allows you to provide code specially tuned for a
    particular machine.

Running

        makeinfo --html c.texi -o $@

generates the following output:

    <li> Some macros are predefined on each kind of machine
    (see <a 
href="https://gcc.gnu.org/onlinedocs/gcc/System_002dspecific-Predefined-Macros.html#System_002dspecific-Predefined-Macros";>System-specific
 Predefined Macros</a> in <cite>Using the GNU Compiler
    Collection</cite>).  This allows you to provide code specially tuned for a
    particular machine.

but that link is broken.  The OP suggests this link

https://gcc.gnu.org/onlinedocs/gcc-4.8.5/cpp/System-specific-Predefined-Macros.html

may be correct.

Where do those directory names come from?  Is there a table in makeinfo
that needs to be updated?

makeinfo --version gave me

   texi2any (GNU texinfo) 6.7

apt-get install texinfo said I have version  6.7.0.dfsg.2-5
which is the latest version in Trisquel 10.


-- 
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)