From 35bc77bbc8733296c08623d963e4e8b199c16b1e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 9 May 2000 10:41:15 +0000
Subject: Fixup loading.

---
 generic/proof-menu.el | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'generic/proof-menu.el')

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 6c392faa..a2a390a9 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -117,6 +117,8 @@ It was constructed with the macro proof-customize-toggle.")
 
 ;; FIXME: combine this with above, and remove messing calls in
 ;; proof-script.
+;; This is autoloaded for some specific PAs to define commands.
+;;;###autoload
 (defmacro proof-deftoggle (var)
   "Define a function VAR-toggle for toggling a boolean customize setting VAR.
 The toggle function uses customize-set-variable to change the variable."
-- 
cgit v1.2.3