Jean-Marc Zucconi 6299d27cdb Patch the main makefile. Sometimes gmake exits(0) even if an inferior make ... failed. (looks like a bug in gmake) PR: ports/9690		1999-02-03 02:45:07 +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	Following a suggestion from Satoshi, and thanks to the work of Dave Cornejo,	1997-12-15 02:19:23 +00:00
Makefile	Unset all TEX* environment variables before starting the build phase.	1999-01-29 03:09:05 +00:00
pkg-comment
pkg-descr
pkg-plist