Michael Scheidell 77a5fc6b3f - 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		2012-04-19 22:38:31 +00:00
..
files
distinfo
Makefile
pkg-descr
pkg-plist