Jean-Marc Zucconi 3899eb0a37 Move the @unexec install-info before the info files; add @exec install-info ... after the info files, as required by PW^H^Hthe handbook.		2000-05-06 23:45:53 +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	Move the @unexec install-info before the info files; add @exec install-info	2000-05-06 23:45:53 +00:00