kris 2006-11-30 23:39:45 UTC FreeBSD ports repository Modified files: math/proofgeneral Makefile Log: BROKEN: incomplete pkg-plist Revision Changes Path 1.9 +2 -0 ports/math/proofgeneral/Makefile