Podział texinfo

[Jakub Bogusz]

texinfo zawiera:
- /usr/bin/makeinfo + manual - ok 130kB
- /usr/bin/texindex + manual - ok 15kB
- /usr/bin/texi2dvi + manual - ok 20kB
- dokumentację (info, %doc, manual texinfo(5)) - z 200kB, ale można nie
  instalować (--excludedocs)

Chyba najlepiej wydzielić texi2dvi+manual do pakietu texi2dvi (albo
texinfo-texi2dvi), a resztę zostawić pod nazwą texinfo.


-- 
Jakub Bogusz
http://prioris.mini.pw.edu.pl/~qboosh/