From 0a766df1831e1cf3301d523cc6d9ba1fe85ff103 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 6 Sep 2009 13:28:47 +0000 Subject: Moved doc of holes to holes-mode --- coq/coq-abbrev.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el index a5131f10..6f062436 100644 --- a/coq/coq-abbrev.el +++ b/coq/coq-abbrev.el @@ -9,7 +9,7 @@ (defun holes-show-doc () (interactive) - (describe-variable 'holes-doc)) + (describe-function 'holes-mode)) (defun coq-local-vars-list-show-doc () (interactive) -- cgit v1.2.3