From 956960a408a4fe67c7508bf3101d469b6465686d Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@debian.org>
Date: Sat, 2 Feb 2019 19:06:46 -0500
Subject: Update packaging for Emacs mode deletion

Proof General has been designated as the official interface to Coq, and
Coq no longer ships a separate Emacs mode. Update packaging to purge
references to the Emacs mode.
---
 debian/rules | 1 -
 1 file changed, 1 deletion(-)

(limited to 'debian/rules')

diff --git a/debian/rules b/debian/rules
index 7f7b8051..5083fdf8 100755
--- a/debian/rules
+++ b/debian/rules
@@ -34,7 +34,6 @@ endif
 
 CONFIGUREOPTS := -arch Linux -prefix /usr -mandir /usr/share/man \
   -configdir /etc/xdg/coq \
-  -emacslib /usr/share/emacs/site-lisp/coq \
   -browser "/usr/bin/x-www-browser %s &" \
   -coqide no \
   -with-doc no \
-- 
cgit v1.2.3