https://gcc.gnu.org/bugzilla/show_bug.cgi?id=128510
--- Comment #3 from Konrad Schwarz <konrad.schwarz at siemens dot com> ---
(In reply to Eric Botcazou from comment #2)
> Probably only if all the other GCC manuals do the same.
To restate:
Some GCC manuals have explicit Front-Cover Texts, Back-Cover Texts, or
Invariant Sections. Debian has removed these manuals from packages distributed
as "main", and places just the manuals into new packages in the "non-free"
section.
Note that the Front-Cover/Back-Cover Texts of those manuals make sense. For the
GCC C manual, the requirements are:
(a) The FSF’s Front-Cover Text is:
A GNU Manual
(b) The FSF’s Back-Cover Text is:
You have freedom to copy and modify this GNU Manual, like GNU software.
Copies published by the Free Software Foundation raise funds for GNU
development.
For GNAT, the Front-Cover Texts are identical to the titles of the manuals.
There are no Back-Cover Texts. This does not make sense -- why repeat the
title? -- but carries a legal obligation nonetheless.
If GNAT decides not to remove the Front-Cover Text, I would have to submit a
bug to Debian, which should cause them to treat the GNAT manuals identically to
the problematic GCC manuals. A separate package to hold the GNAT manuals will
need to be created and the original source packaging amended to remove those
manuals from the "main" section.
That would be a lot more work than just deleting the presumably spurious
Front-Cover Text requirement from the two GNAT manuals.
