Jean-Marc Zucconi e0d7a722a9 Cleanup ${PREFIX}/info/dir at deinstall time.		2000-05-06 01:49:27 +00:00
..
scripts	Patch the main makefile. Sometimes gmake exits(0) even if an inferior make	1999-02-03 02:45:07 +00:00
distinfo	Upgrade to web2c version 7.2b	2000-01-27 21:50:19 +00:00
Makefile	Add man pages	2000-05-04 20:48:49 +00:00
pkg-comment	#4/4 enforcing Caps, no period	1999-06-26 19:22:14 +00:00
pkg-descr	Bring in Jean-Marc Zucconi's tex port. The Makefile is kind of weird,	1994-09-29 08:56:20 +00:00
pkg-plist	Cleanup ${PREFIX}/info/dir at deinstall time.	2000-05-06 01:49:27 +00:00