Podział texinfo
Arkadiusz Miskiewicz
misiek w pld.ORG.PL
Śro, 24 Paź 2001, 19:15:32 CEST
Jakub Bogusz <qboosh w prioris.mini.pw.edu.pl> writes:
> 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.
IMO texinfo-texi2dvi (jak możesz to zrób :)
--
Arkadiusz Miśkiewicz IPv6 ready PLD Linux at http://www.pld.org.pl
misiek(at)pld.org.pl AM2-6BONE, 1024/3DB19BBD, arekm(at)ircnet, PWr
Więcej informacji o liście dyskusyjnej pld-devel-pl