From 22c7bd6683afd2e17b5142f7d1a4af80ed21dfa7 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 8 Oct 2010 09:08:23 +0000 Subject: Remove developers note from docstring of togglers --- generic/proof-utils.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'generic/proof-utils.el') diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 2c9468cd..6bf9e53e 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -505,8 +505,8 @@ Args as for the macro `proof-deftoggle', except will be evaluated." `(defun ,(if othername othername (intern (concat (symbol-name var) "-toggle"))) (&optional arg) ,(concat "Toggle `" (symbol-name var) "'. With ARG, turn on iff ARG>0. -This function simply uses customize-set-variable to set the variable. -It was constructed with `proof-deftoggle-fn'.") +This function simply uses customize-set-variable to set the variable.") +; It was constructed with `proof-deftoggle-fn'." (interactive "P") (customize-set-variable (quote ,var) -- cgit v1.2.3