[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: |
Tue, 04 Oct 2022 13:39:04 -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. ]]]
> There is one additional error here if the above-mentioned URL is
> correct: the reference should point to the (cpp) manual instead of the
> (gcc) manual.
What is the full, formal tit;e of the CPP manual? Texinfo cross-references
need to specify that, as well as the short name for Info.
--
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)
- Makeinfo generates wrong link, Richard Stallman, 2022/10/02
- 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 <=
- 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, 2022/10/03