Quelle est la police utilisée pour la documentation GNU?

Je suis intéressé à apprendre comment la documentation pour les logiciels liés à GNU est écrite, et je me request quel type de police est utilisé dans leur documentation PDF? (par exemple, le manuel GCC ici )

Merci.

La police est Computer Modern de Donald Knuth. La documentation a sans doute été créée avec LaTeX (ou peut-être même TeX). (En fait, ils sont tous les deux confirmés par les métadonnées PDF.)

(Edit: Un peu plus, on dirait que, ssortingctement parlant, la documentation est créée dans un format de base qui, grâce à GNU texinfo, est exporté dans une variété de formats, mais le format PDF passe par TeX).

Si vous voulez un clone de haute qualité de Computer Modern en format Open Type, regardez la collection Latin Modern.

Les versions TrueType de Computer Modern sont également disponibles.

Ou vous pouvez simplement installer LaTeX (voir TeXlive ) et get la vraie affaire, avec les fonts Type3 et Type1 dans une variété d'enencodings.

TeX est l'un des premiers exemples de logiciels libres, et Stallman le mentionne même dans le manifeste GNU : "Nous utiliserons TeX comme formateur de text …"