Re: Sources Texinfo
Re,
avec un peu de retard (par rapport à la date de la question),
étant confronté à la meme question, voici ma réponse la plus
proche ..
http://www.gnu.org/manual
il y a tous les formats !!
Fabrice Gautier wrote:
> mais j'aimerais bien trouver les sources texinfo pour compiler en ps
> et imprimer. Ou est-ce qu'on peut trouver ces fichiers?
et descendre dans l'arbre (jeu de mots)
A+
--
> Georges MARIANO tel: (33) 03 20 43 84 06
> INRETS, 20 rue Elisee Reclus fax: (33) 03 20 43 83 59
> 59650 Villeneuve d'Ascq mailto:mariano@terre.inrets.fr
> FRANCE.
> ***************** the B Formal Method User Group *****************
> http://estas1.inrets.fr:8001/BUGhome.html mailto:bug@estas1.inrets.fr
Reply to: