https://gcc.gnu.org/bugzilla/show_bug.cgi?id=128510
--- Comment #5 from Konrad Schwarz <konrad.schwarz at siemens dot com> ---
(In reply to Eric Botcazou from comment #4)
> What makes you think it is spurious though? It perfectly makes sense to me.
> If GNAT was the only problematic manual, then it would make sense to change
> it but, given that it is not, I don't see any sufficient reason to change it.
The GCC C manual use the Front-Cover and Back-Cover texts to promote the FSF.
The GNAT manuals use the Front-Cover text to repeat the manual's title.
This results in the obligation to print:
GNAT User’s Guide for Native Platforms GNAT User’s Guide for Native
Platforms
GNAT Reference Manual GNAT Reference Manual
on the DVD containing the Debian source package's front cover.
What is the advantage for GNAT of requiring this?
