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