- 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)

math/proofgeneral/Makefile

@@ -7,7 +7,7 @@
 
 PORTNAME=	proofgeneral
 PORTVERSION=	4.1
-PORTREVISION=	1
+PORTREVISION=	2
 CATEGORIES=	math elisp
 MASTER_SITES=	http://proofgeneral.inf.ed.ac.uk/releases/
 PKGNAMESUFFIX=	-${EMACS_NAME}
@@ -23,8 +23,6 @@ LICENSE_FILE=	${WRKSRC}/COPYING
 BUILD_DEPENDS=	bash:${PORTSDIR}/shells/bash
 RUN_DEPENDS=	${LOCALBASE}/share/icons/hicolor/index.theme:${PORTSDIR}/misc/hicolor-icon-theme
 
-BROKEN=		does not build
-
 USE_EMACS=	yes
 USE_GMAKE=	yes
 INSTALLS_ICONS=	yes
@@ -38,6 +36,10 @@ PLIST_SUB+=	PACKAGE_BUILDING="@comment "
 PLIST_SUB+=	PACKAGE_BUILDING=""
 .endif
 
+.if ${EMACS_NAME} == xemacs
+IGNORE=	the ProofGeneral developers no longer support XEmacs
+.endif
+
 MAKE_ARGS+=	PREFIX="${LOCALBASE}" DEST_PREFIX="${PREFIX}" MAKE="${GMAKE}" \
 	DOCDIR="${DOCSDIR}" MANDIR="${PREFIX}/man/man1" INFODIR="${PREFIX}/info" \
 	BINDIR="${PREFIX}/bin" DESKTOP="${PREFIX}/share" \

math/proofgeneral/files/patch-doc-Makefile.doc

@@ -1,5 +1,14 @@
 --- doc/Makefile.doc.orig	2011-05-05 10:46:27.000000000 -0700
-+++ doc/Makefile.doc	2012-04-11 22:03:35.000000000 -0700
++++ doc/Makefile.doc	2012-07-10 15:19:30.000000000 -0700
+@@ -18,7 +18,7 @@
+ 
+ MAKE = make -f Makefile.doc 
+ MAKEINFO = makeinfo
+-TEXI2HTML = texi2html -expandinfo -number -split_chapter --noheader
++TEXI2HTML = texi2html -expandinfo -number-sections -split_chapter --noheader
+ # `texinfo-tex' package contains texi2pdf
+ TEXI2PDF = texi2pdf
+ # `dviutils' package contains these useful utilities.
 @@ -40,16 +40,13 @@
  
  TMPFILE=pgt