Installation de la doc de gcc ?

Bonjour à tous, je suis sur Debian 9 (Stretch) et je ne parviens pas à installer le manuel de gcc :frowning:

Auriez-vous une idée d’où cela pourrait venir ??

Merci d’avance :slight_smile:

Info sur ma distrib

$ cat /etc/debian_version 
9.6
$ uname -v
#1 SMP Debian 4.9.130-2 (2018-10-27)

Caractérisation du problème

$ sudo apt-get update
Ign:1 http://deb.debian.org/debian stretch InRelease
Atteint:2 http://deb.debian.org/debian-security stretch/updates InRelease
Atteint:3 http://deb.debian.org/debian stretch-updates InRelease
Atteint:4 http://deb.debian.org/debian stretch Release         
Atteint:5 https://updates.signal.org/desktop/apt xenial InRelease
Lecture des listes de paquets... Fait


$ sudo apt-get install gcc-doc
Lecture des listes de paquets... Fait
Construction de l'arbre des dépendances       
Lecture des informations d'état... Fait
Certains paquets ne peuvent être installés. Ceci peut signifier
que vous avez demandé l'impossible, ou bien, si vous utilisez
la distribution unstable, que certains paquets n'ont pas encore
été créés ou ne sont pas sortis d'Incoming.
L'information suivante devrait vous aider à résoudre la situation : 

Les paquets suivants contiennent des dépendances non satisfaites :
 gcc-doc : Dépend: gcc-6-doc (>= 6.1.0-1~) mais il n'est pas installable
E: Impossible de corriger les problèmes, des paquets défectueux sont en mode « garder en l'état ».


$ sudo apt-get install gcc-6-doc
Lecture des listes de paquets... Fait
Construction de l'arbre des dépendances       
Lecture des informations d'état... Fait
Aucune version du paquet gcc-6-doc n'est disponible, mais il existe dans la base
de données. Cela signifie en général que le paquet est manquant, qu'il est devenu obsolète
ou qu'il n'est disponible que sur une autre source

E: Le paquet « gcc-6-doc » n'a pas de version susceptible d'être installée

Donut.

Pour info :

$ cat /etc/apt/sources.list | grep -vE '^#'
deb http://deb.debian.org/debian stretch main contrib
deb-src http://deb.debian.org/debian stretch main contrib

deb http://deb.debian.org/debian-security/ stretch/updates main contrib
deb-src http://deb.debian.org/debian-security/ stretch/updates main contrib

deb http://deb.debian.org/debian stretch-updates main contrib
deb-src http://deb.debian.org/debian stretch-updates main contrib

Or quand je cherche le paquet gcc-6-doc sur packages.debian.org je tombe là-dessus : https://packages.debian.org/stretch/gcc-6-doc

et je vois que gcc-6-doc n’est pas free ?!!
Du coup, je suppose qu’il faudrait que j’édite mon sources.list de cette façon :

deb http://deb.debian.org/debian stretch main contrib non-free
deb-src http://deb.debian.org/debian stretch main contrib non-free

deb http://deb.debian.org/debian-security/ stretch/updates main contrib non-free
deb-src http://deb.debian.org/debian-security/ stretch/updates main contrib non-free

deb http://deb.debian.org/debian stretch-updates main contrib non-free
deb-src http://deb.debian.org/debian stretch-updates main contrib non-free

Mais je ne suis hélas pas assez connaisseur du fonctionnement de apt pour faire cette modif sans craindre de casser quelque chose… Qu’en dites-vous ? :confused:

Et je ne comprends toujours pas que gcc soit catégorisé comme non free ? Il est indiqué sur le site :

This documentation is licensed under the terms of the GNU Free Documentation License, and contains invariant sections, so it can’t be part of Debian main.

Nickel.

Donc déjà, tu sais pourquoi pas main, aprés, je crois que le fait qu’on ai pas le droit de modifier certaines parties, malgré la GNU FDL, rend le paquet non-libre.