From 22a3840b0613650dc0ac695c16c516800199bdf1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 5 Sep 2009 18:30:21 +0000
Subject: Clean compile, remove useless autoload settings.

---
 lib/pg-dev.el | 25 ++++++++++---------------
 1 file changed, 10 insertions(+), 15 deletions(-)

diff --git a/lib/pg-dev.el b/lib/pg-dev.el
index 95cb9234..79fd1a3a 100644
--- a/lib/pg-dev.el
+++ b/lib/pg-dev.el
@@ -5,7 +5,7 @@
 ;; License:     GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
 ;; $Id$
-;;
+ ;;
 ;;; Commentary:
 ;;
 ;; Some configuration of Emacs Lisp mode for developing PG, not needed
@@ -16,11 +16,11 @@
 
 (require 'whitespace)
 
-(setq proof-general-debug t)
+(with-no-warnings
+  (setq proof-general-debug t))
 
 ;; Use checkdoc, eldoc, Flyspell, whitespace cleanup:
 
-
 (add-hook 'emacs-lisp-mode-hook
 	  '(lambda ()
 	     (checkdoc-minor-mode 1)
@@ -64,13 +64,6 @@
 ;				     pg-dev-lisp-font-lock-keywords)))
 
 
-;;;
-;;; Autoloads (as used by "make autoloads")
-;;;
-
-(setq autoload-package-name "proof")
-(setq generated-autoload-file "proof-autoloads.el")
-
 ;;;
 ;;; Unload utility (not wholly successful)
 ;;;
@@ -119,11 +112,13 @@
 
 (defun pg-bug-references ()
   (interactive)
-  (bug-reference-mode 1)
-  (setq bug-reference-bug-regexp
-	"\\(?:[Tt]rac ?#\\)\\([0-9]+\\)"
-	bug-reference-url-format
-	"http://proofgeneral.inf.ed.ac.uk/trac/ticket/%s"))
+  (if (fboundp 'bug-reference-mode)
+      (with-no-warnings
+	(bug-reference-mode 1)
+	(setq bug-reference-bug-regexp
+	      "\\(?:[Tt]rac ?#\\)\\([0-9]+\\)"
+	      bug-reference-url-format
+	      "http://proofgeneral.inf.ed.ac.uk/trac/ticket/%s"))))
 
 (add-hook 'emacs-lisp-mode-hook 'pg-bug-references)
 (add-hook 'isar-mode-hook 'pg-bug-references)
-- 
cgit v1.2.3