pav 2012-06-27 19:30:14 UTC
FreeBSD ports repository
Modified files:
math/proofgeneral Makefile
Log:
- Mark BROKEN: does not build
texi2html -expandinfo -number -split_chapter --noheader --output
PG-adapting PG-adapting.texi
Option number is ambiguous (number-footnotes, number-sections)
Reported by: pointyhat
Revision Changes Path
1.30 +2 -0 ports/math/proofgeneral/Makefile
_______________________________________________
[email protected] mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "[email protected]"
