diff options
author | 2019-02-02 19:06:46 -0500 | |
---|---|---|
committer | 2019-02-05 10:43:26 -0500 | |
commit | 956960a408a4fe67c7508bf3101d469b6465686d (patch) | |
tree | 4d36cbcdd652c19dd123befd4577ea9ae798cfbc /debian/coq.install.in | |
parent | 8300ef2c07a17451f594bcbd6f0689cafb87c3fb (diff) |
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.
Diffstat (limited to 'debian/coq.install.in')
-rw-r--r-- | debian/coq.install.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/coq.install.in b/debian/coq.install.in index f2f5339f..8bc58451 100644 --- a/debian/coq.install.in +++ b/debian/coq.install.in @@ -16,7 +16,6 @@ usr/lib/coq/tools/coqdoc/coqdoc.sty usr/lib/coq/tools/make-both-single-timing-files.py => usr/lib/coq/tools/make-both-single-timing-files usr/lib/coq/tools/make-both-time-files.py => usr/lib/coq/tools/make-both-time-files usr/lib/coq/tools/make-one-time-file.py => usr/lib/coq/tools/make-one-time-file -usr/share/emacs/site-lisp/coq/ usr/share/man/man1/coqc* usr/share/man/man1/coqdep* usr/share/man/man1/coqdoc* |