Alex Kozlov f47f91d2a0 - 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)		2012-07-12 14:05:30 +00:00
..
files	- Fix build with new texi2html	2012-07-12 14:05:30 +00:00
distinfo	- Update to 4.1	2012-04-19 22:38:31 +00:00
Makefile	- Fix build with new texi2html	2012-07-12 14:05:30 +00:00
pkg-descr
pkg-plist	- Update to 4.1	2012-04-19 22:38:31 +00:00