From eacaa7426c8862a317f987476116240d12b50c6d Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 16 May 2000 10:07:43 +0000 Subject: Docstring fix --- generic/proof-utils.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'generic') diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 50c2f926..f07b8d00 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -408,7 +408,7 @@ It was constructed with `proof-customize-toggle-fn'.") (defmacro proof-deftoggle (var &optional othername) "Define a function VAR-toggle for toggling a boolean customize setting VAR. VAR, OTHERNAME are not evaluated. -The function is defined with `proof-customize-toggle-fn', which see." +The function is defined with `proof-deftoggle-fn', which see." `(proof-deftoggle-fn (quote ,var) (quote ,othername))) -- cgit v1.2.3