Repository: ddp/manuals.sgml/maint-guide who: joy time: Mon Nov 18 12:49:15 MST 2002 Log Message: no need to skip tex for it anymore Files: changed: Makefile