From 87a54c636a42cc9e7f5b39c28409b683f83e0c28 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 9 Jul 2001 15:37:36 +0000
Subject: Clean for compile: new autload

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

(limited to 'generic')

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 6eb22de9..f8e8ff7b 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -444,6 +444,8 @@ the form of the menu entry for the setting.")
 	      (proof-defstringset-fn pasym)
 	      t)))))
 
+;;; autoload for compiled version: used in macro proof-defpacustom
+;;;###autoload
 (defun proof-defpacustom-fn (name val args)
   "As for macro `defpacustom' but evaluation arguments."
   (let (newargs setting)
-- 
cgit v1.2.3