cvs commit: ports/math/proofgeneral Makefile

ak          2012-07-12 14:05:30 UTC

  FreeBSD ports repository

  Modified files:
    math/proofgeneral    Makefile 
    math/proofgeneral/files patch-doc-Makefile.doc 
  Log:
  - Fix build with new texi2html
  - Ignore attempts to compile with XEmacs, it is not supported by the ProofGeneral developers.
  
  PR:     ports/169774
  Submitted by:   Timothy Beyer <[e-mail]> (maintainer)
  
  Revision  Changes    Path
  1.31      +5 -3      ports/math/proofgeneral/Makefile
  1.5       +10 -1     ports/math/proofgeneral/files/patch-doc-Makefile.doc
_______________________________________________
[e-mail] mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "[e-mail]"