diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-10-21 16:13:50 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-10-21 16:13:50 +0000 |
commit | 22300c60dbc8834bea4d44d4c83b748238aea5a9 (patch) | |
tree | b749640f53a6cfcd51cfab8048839d71a79eb4aa /doc/docstring-magic.el | |
parent | 2111db37b99d87dd973996c9df1ce6b99ba56d0c (diff) |
A couple of comint symbols are mentioned in the docs
Diffstat (limited to 'doc/docstring-magic.el')
-rw-r--r-- | doc/docstring-magic.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/docstring-magic.el b/doc/docstring-magic.el index b5383237..af821a6c 100644 --- a/doc/docstring-magic.el +++ b/doc/docstring-magic.el @@ -23,6 +23,8 @@ (load "thy-mode.el") (load "coq.el") (load "lego.el") +;; A couple of comint symbols are mentioned in the docs +(load "comint.el) ;; Set some symbols to make markup happen (setq sml-mode 'markup-hack) |