summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorGravatar Samuel Mimram <smimram@debian.org>2007-10-10 22:37:03 +0000
committerGravatar Samuel Mimram <smimram@debian.org>2007-10-10 22:37:03 +0000
commita788b511487e6b748d5be35140a7ad2ca110936e (patch)
treece5c9bbb67c07c035920d5861546b2c999c95a00 /debian
parent2727b100cc9cfb92ab593b7eafaee20c6eb150bd (diff)
Corrected emacs-mode startup file.
Diffstat (limited to 'debian')
-rw-r--r--debian/changelog6
-rw-r--r--debian/coq.emacsen-startup2
2 files changed, 7 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog
index 79a3521d..527e5c78 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+coq (8.1.pl1+dfsg-4) UNRELEASED; urgency=low
+
+ * Corrected emacs-mode startup file, closes: #446170.
+
+ -- Samuel Mimram <smimram@debian.org> Wed, 10 Oct 2007 22:36:07 +0000
+
coq (8.1.pl1+dfsg-3) unstable; urgency=low
* Depend on ocaml-base-nox since coq_makefile needs ocamlrun,
diff --git a/debian/coq.emacsen-startup b/debian/coq.emacsen-startup
index 91b56915..2a554d36 100644
--- a/debian/coq.emacsen-startup
+++ b/debian/coq.emacsen-startup
@@ -16,6 +16,6 @@
(symbol-name flavor)
"/site-lisp/coq") load-path))
-(setq auto-mode-alist (cons '("\\.v$" . coq-mode) auto-mode-alist))
+(setq auto-mode-alist (cons '("\\.v\\'" . coq-mode) auto-mode-alist))
(autoload 'coq-mode "coq" "Major mode for editing Coq vernacular." t)