Date: Thu, 19 Apr 2012 22:38:31 +0000 (UTC) From: Michael Scheidell <scheidell@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/math/proofgeneral Makefile distinfo pkg-plist ports/math/proofgeneral/files patch-Makefile patch-doc-Makefile.doc patch-etc_desktop_proofgeneral.desktop patch-isar-interface Message-ID: <201204192238.q3JMcVJg071976@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
scheidell 2012-04-19 22:38:31 UTC FreeBSD ports repository Modified files: math/proofgeneral Makefile distinfo pkg-plist math/proofgeneral/files patch-Makefile patch-doc-Makefile.doc patch-etc_desktop_proofgeneral.desktop patch-isar-interface Log: - Update to 4.1 - Fix build on amd64 - XEmacs is no longer supported by proofgeneral developers, so only GNU Emacs may be used - Omit pdf compilation since a newer version of latex then is in ports is needed - Use PORTDOCS= macros to simplefy Makefile and pkg-plist PR: ports/166867 Submitted by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer0 Revision Changes Path 1.28 +27 -32 ports/math/proofgeneral/Makefile 1.9 +2 -2 ports/math/proofgeneral/distinfo 1.8 +19 -87 ports/math/proofgeneral/files/patch-Makefile 1.4 +57 -8 ports/math/proofgeneral/files/patch-doc-Makefile.doc 1.3 +2 -2 ports/math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop 1.2 +6 -6 ports/math/proofgeneral/files/patch-isar-interface 1.11 +56 -375 ports/math/proofgeneral/pkg-plist
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201204192238.q3JMcVJg071976>