summaryrefslogtreecommitdiff
path: root/debian/coq.emacsen-startup
diff options
context:
space:
mode:
authorGravatar Samuel Mimram <samuel.mimram@ens-lyon.org>2004-07-15 16:17:58 +0000
committerGravatar Samuel Mimram <samuel.mimram@ens-lyon.org>2004-07-15 16:17:58 +0000
commit002fb17410892b80527927a559501b84560d804e (patch)
tree1b7f401f27f3b6d0a70f154036d138500f2b7d65 /debian/coq.emacsen-startup
parent6b649aba925b6f7462da07599fe67ebb12a3460e (diff)
Getting prepared for the licensing-problems-free 8.0 release of COQ.
Diffstat (limited to 'debian/coq.emacsen-startup')
-rw-r--r--debian/coq.emacsen-startup21
1 files changed, 21 insertions, 0 deletions
diff --git a/debian/coq.emacsen-startup b/debian/coq.emacsen-startup
new file mode 100644
index 00000000..91b56915
--- /dev/null
+++ b/debian/coq.emacsen-startup
@@ -0,0 +1,21 @@
+;; -*-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)
+