diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 18:30:21 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 18:30:21 +0000 |
| commit | 22a3840b0613650dc0ac695c16c516800199bdf1 (patch) | |
| tree | 9d5f2c7cbfc529fce8e3afc03dd299553a483504 /lib/pg-dev.el | |
| parent | 13aae6b72b15ea8614b07c5b0da05751b7b11956 (diff) | |
Clean compile, remove useless autoload settings.
Diffstat (limited to 'lib/pg-dev.el')
| -rw-r--r-- | lib/pg-dev.el | 25 |
1 files 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) @@ -65,13 +65,6 @@ ;;; -;;; 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) |