From b43d47cd0a2ac1c36bc32ab285ea22ef367d9c2f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 24 Nov 1999 21:47:39 +0000
Subject: More docstring for proof-customize-toggle.

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

(limited to 'generic')

diff --git a/generic/proof.el b/generic/proof.el
index 919da1dc..056d53f8 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -179,7 +179,8 @@ of the proof (starting from 1).")
      (proof-with-current-buffer-if-exists buf ,@body)))
 
 (defmacro proof-customize-toggle (var)
-  "Make a function for toggling a boolean customize setting VAR."
+  "Make a function for toggling a boolean customize setting VAR.
+The toggle function uses customize-set-variable to change the variable."
   `(lambda (arg)
      ,(concat "Toggle " (symbol-name var) ". With ARG, turn on iff ARG>0.
 This function simply uses customize-set-variable to set the variable.
-- 
cgit v1.2.3