cvs commit: ports/math/proofgeneral Makefile ports/math/proofgeneral/files patch-doc-Makefile.doc

[Alex Kozlov]

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 <beyert at cs.ucr.edu> (maintainer)
  
  Revision  Changes    Path
  1.31      +5 -3      ports/math/proofgeneral/Makefile
  1.5       +10 -1     ports/math/proofgeneral/files/patch-doc-Makefile.doc