cvs commit: ports/math/proofgeneral Makefile


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
_______________________________________________
cvs-all@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "cvs-all-unsubscribe@freebsd.org"