[Pkg-ocaml-maint-commits] r4610 - in /trunk/packages/coq/trunk/debian: changelog coq.emacsen-startup

[smimram at users.alioth.debian.org]

Author: smimram
Date: Wed Oct 10 22:37:03 2007
New Revision: 4610

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=4610
Log:
Corrected emacs-mode startup file.

Modified:
    trunk/packages/coq/trunk/debian/changelog
    trunk/packages/coq/trunk/debian/coq.emacsen-startup

Modified: trunk/packages/coq/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/changelog?rev=4610&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/changelog (original)
+++ trunk/packages/coq/trunk/debian/changelog Wed Oct 10 22:37:03 2007
@@ -1,3 +1,9 @@
+coq (8.1.pl1+dfsg-4) UNRELEASED; urgency=low
+
+  * Corrected emacs-mode startup file, closes: #446170.
+
+ -- Samuel Mimram <smimram at 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,

Modified: trunk/packages/coq/trunk/debian/coq.emacsen-startup
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/coq.emacsen-startup?rev=4610&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/coq.emacsen-startup (original)
+++ trunk/packages/coq/trunk/debian/coq.emacsen-startup Wed Oct 10 22:37:03 2007
@@ -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)