La seule possibilité que je vois pour les utilisateurs de Debian désirant avoir les manuels de GNU sans avoir non-free dans leurs sources pour apt-get (risque d'installer du logiciel non-libre sans le savoir) serait la mise en place par GNU de dépôts de paquets Debian disponible via apt-get.
Ou bien de créer une nouvelle branche à apt avec un truc genre "gfdl", tout comme on a "contrib" ou "non-free"... Mais sans doute cela fait-il trop compliqué pour "si peu"... :c/
# Re: La GNU Free Documentation License et Debian
Posté par Baptiste SIMON . En réponse à la dépêche La GNU Free Documentation License et Debian. Évalué à 9.
Ou bien de créer une nouvelle branche à apt avec un truc genre "gfdl", tout comme on a "contrib" ou "non-free"... Mais sans doute cela fait-il trop compliqué pour "si peu"... :c/