diff options
Diffstat (limited to 'debian/coq.emacsen-startup')
-rw-r--r-- | debian/coq.emacsen-startup | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/debian/coq.emacsen-startup b/debian/coq.emacsen-startup deleted file mode 100644 index 2a554d36..00000000 --- a/debian/coq.emacsen-startup +++ /dev/null @@ -1,21 +0,0 @@ -;; -*-emacs-lisp-*- -;; -;; Emacs startup file for the Debian GNU/Linux coq package -;; -;; Originally contributed by Nils Naumann <naumann@unileoben.ac.at> -;; Modified by Dirk Eddelbuettel <edd@debian.org> -;; Adapted for dh-make by Jim Van Zandt <jrv@vanzandt.mv.com> - -;; The coq package follows the Debian/GNU Linux 'emacsen' policy and -;; byte-compiles its elisp files for each 'emacs flavor' (emacs19, -;; xemacs19, emacs20, xemacs20...). The compiled code is then -;; installed in a subdirectory of the respective site-lisp directory. -;; We have to add this to the load-path: - -(setq load-path (cons (concat "/usr/share/" - (symbol-name flavor) - "/site-lisp/coq") load-path)) - -(setq auto-mode-alist (cons '("\\.v\\'" . coq-mode) auto-mode-alist)) -(autoload 'coq-mode "coq" "Major mode for editing Coq vernacular." t) - |