ports/math/proofgeneral, branch 7-eolFreeBSD ports treehttps://cgit-dev.freebsd.org/ports/atom?h=7-eol2012-09-04T17:05:43ZChase Emacs updates2012-09-04T17:05:43ZAshish SHUKLAashish@FreeBSD.org2012-09-04T17:05:43Zurn:sha1:4b9fb5608cd07c313e31cd5eb8770fb3dce62bfa- Bump PORTREVISION to chase Emacs port updates2012-08-01T16:50:15ZAshish SHUKLAashish@FreeBSD.org2012-08-01T16:50:15Zurn:sha1:f3770c10f91170936ad9d6bef144bcb6b0137ed6
- Unbreak INDEX caused by databases/lsdb, editors/flim, and editors/semi
- Fix build with new texi2html2012-07-12T14:05:30ZAlex Kozlovak@FreeBSD.org2012-07-12T14:05:30Zurn:sha1:f47f91d2a018f440f46a05f3259d0ba4c735964a
- 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)
- Mark BROKEN: does not build2012-06-27T19:30:14ZPav Lucistnikpav@FreeBSD.org2012-06-27T19:30:14Zurn:sha1:0f15eed738f329ece0f4baa1a4592b4bcb17133d
texi2html -expandinfo -number -split_chapter --noheader --output PG-adapting PG-adapting.texi
Option number is ambiguous (number-footnotes, number-sections)
Reported by: pointyhat
- update png to 1.5.102012-06-01T05:26:28ZDirk Meyerdinoex@FreeBSD.org2012-06-01T05:26:28Zurn:sha1:2b74a89bc8342f0b9b737c37d87737caf7b0ea1e- Update to 4.12012-04-19T22:38:31ZMichael Scheidellscheidell@FreeBSD.org2012-04-19T22:38:31Zurn:sha1:77a5fc6b3f0f3719dd7b2e6a855fa826b381a7c7
- 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
- Use print/texinfo for texi2{dvi,pdf} instead of print/teTeX-base.2011-06-18T16:13:31ZHiroki Satohrs@FreeBSD.org2011-06-18T16:13:31Zurn:sha1:7ae6ec9c16ce06915a11b5bd18431ed6c9e13b3b
- Use print/teTeX-base for latex instead of print/teTeX.
- Use share/texmf for TeX-related files instead of share/texmf-local.
Bump PORTREVISION after open-mofit update2011-05-02T12:44:53ZMax Brazhnikovmakc@FreeBSD.org2011-05-02T12:44:53Zurn:sha1:630ca2285fa5e6de5891053bc2133d1d69c5385a- Get Rid MD5 support2011-03-20T12:54:45ZMartin Wilkemiwi@FreeBSD.org2011-03-20T12:54:45Zurn:sha1:bb86cbe5d232690f52a27fe9a2d7246e03eef9c4- update to 1.4.12010-03-28T06:47:48ZDirk Meyerdinoex@FreeBSD.org2010-03-28T06:47:48Zurn:sha1:de78af3ac53da4687d22975cd2e236a0668d9a0d
Reviewed by: exp8 run on pointyhat
Supported by: miwi