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

8

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

Merci.

hpy
la source

Réponses:

13

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

(Edit: En fouillant un peu plus, il semble que, à proprement parler, la documentation soit 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 au format Open Type, regardez la collection Latin Modern.

Des versions TrueType de Computer Modern sont également disponibles.

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

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 texte ..."

frabjous
la source
Magnifique!! Merci pour la réponse détaillée. :)
hpy