diff options
Diffstat (limited to 'distrib/debian')
| -rw-r--r-- | distrib/debian/coq.emacsen-startup | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/distrib/debian/coq.emacsen-startup b/distrib/debian/coq.emacsen-startup index d5cd0ae1f7..91b5691522 100644 --- a/distrib/debian/coq.emacsen-startup +++ b/distrib/debian/coq.emacsen-startup @@ -16,8 +16,6 @@ (symbol-name flavor) "/site-lisp/coq") load-path)) -(autoload 'coq-mode "coq" "Coq major mode" t) +(setq auto-mode-alist (cons '("\\.v$" . coq-mode) auto-mode-alist)) +(autoload 'coq-mode "coq" "Major mode for editing Coq vernacular." t) -(setq-default auto-mode-alist - (cons '("\\.v" . coq-mode) - auto-mode-alist)) |