diff options
author | 2009-09-06 13:28:47 +0000 | |
---|---|---|
committer | 2009-09-06 13:28:47 +0000 | |
commit | 0a766df1831e1cf3301d523cc6d9ba1fe85ff103 (patch) | |
tree | 51da1d7ac71b99b219e08e3f103ba0b8af6a7256 /coq/coq-abbrev.el | |
parent | b8f1c989957e96767993d0fc21ced894e3445489 (diff) |
Moved doc of holes to holes-mode
Diffstat (limited to 'coq/coq-abbrev.el')
-rw-r--r-- | coq/coq-abbrev.el | 2 |
1 files changed, 1 insertions, 1 deletions
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) |