ProofGeneral patch

gistfile1.txt

In toplevel form:
generic/pg-response.el:104:23:Error: `special-display-regexps' is an obsolete variable (as of 24.3); use `display-buffer-alist' instead.
make[1]: *** [generic/pg-response.elc] Error 1
make[1]: Leaving directory `/home/***/.emacs.d/el-get/ProofGeneral-4.3pre130327'
make: *** [compile] Error 2

ProofGeneral-4.3pre130327.patch

--- ProofGeneral-4.3pre130327.orig/Makefile	2013-01-16 06:48:49.000000000 +0900
+++ ProofGeneral-4.3pre130327/Makefile	2013-04-10 09:45:49.000000000 +0900
@@ -62,7 +62,7 @@
 # only during compilation.  Another idea: put a function in proof-site
 # to output the compile-time load path and ELISP_DIRS so these are set
 # just in that one place.
-BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (mapcar (lambda (d) (concat "${PWD}/" (symbol-name d))) (quote (${ELISP_DIRS}))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn t))' -f batch-byte-compile
+BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (mapcar (lambda (d) (concat "${PWD}/" (symbol-name d))) (quote (${ELISP_DIRS}))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))))' -f batch-byte-compile
 EL=$(shell for f in $(ELISP_DIRS); do ls $$f/*.el; done)
 ELC=$(EL:.el=.elc)