Date: Thu, 12 Jul 2012 14:05:30 +0000 (UTC) From: Alex Kozlov <ak@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/math/proofgeneral Makefile ports/math/proofgeneral/files patch-doc-Makefile.doc Message-ID: <201207121405.q6CE5Ujd098482@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201207121405.q6CE5Ujd098482>