ports/math/proofgeneral/files/patch-isar-interface at af69682e7c25a07cda4ba50094b5940d0e2015d7 - sync/ports - Archuserorg Forgejo: Archuser.org's Forgejo Server

sync/ports

mirror of https://git.freebsd.org/ports.git synced 2025-05-14 16:21:50 -04:00

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

11 lines

270 B

Text

Raw Blame History

 --- isar/interface.orig	2011-01-27 11:54:20.000000000 -0800
 +++ isar/interface	2012-04-11 20:26:06.000000000 -0700
@@ -57,7 +57,7 @@
  UNICODE=""
  FONT=""
  GEOMETRY=""
 -PROGNAME="emacs"
 +PROGNAME="%%EMACS_NAME%%"
  INITFILE="true"
  WINDOWSYSTEM="true"
  UNICODE_SYMBOLS=""