kris 2006-10-15 20:06:03 UTC FreeBSD ports repository Modified files: math/proofgeneral Makefile Log: BROKEN: Incorrect pkg-plist Approved by: portmgr (self) Revision Changes Path 1.7 +2 -0 ports/math/proofgeneral/Makefile