Is the source of the refman available somewhere ?
I can see html, dvi, ps, prn, txt (some compressed, some not), it
seems that they should all derive from some magic source (TeXinfo
or somesuch). Why isn't it available ?

-----

Lae source du manuel de référence est-il accesible quelque part ?
Il semble que tous ces formats (dvi, ps, html, ...) dérivent d'une source
genre TeXinfo, mais cette source semble ne pas être distribuée, pourquoi ?


        Stefan