markd d32b3c3d14 platex format is now done in tex-platex, and tidy up the Makefile.		2017-03-26 20:10:11 +00:00
..
DESCR
distinfo	Updated to TexLive 2016:	2016-06-16 04:05:58 +00:00
Makefile	platex format is now done in tex-platex, and tidy up the Makefile.	2017-03-26 20:10:11 +00:00
PLIST	Revert tex-ptex to tex-ptex-3.2pl41220, and remove platex, thanks markd@	2017-03-26 15:01:53 +00:00