diff options
author | Benjamin Barenblat <bbaren@debian.org> | 2019-02-02 19:06:46 -0500 |
---|---|---|
committer | Benjamin Barenblat <bbaren@debian.org> | 2019-02-05 10:43:26 -0500 |
commit | 956960a408a4fe67c7508bf3101d469b6465686d (patch) | |
tree | 4d36cbcdd652c19dd123befd4577ea9ae798cfbc /debian/coq.emacsen-remove | |
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.emacsen-remove')
-rw-r--r-- | debian/coq.emacsen-remove | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/debian/coq.emacsen-remove b/debian/coq.emacsen-remove deleted file mode 100644 index 02b6392c..00000000 --- a/debian/coq.emacsen-remove +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/sh -e -# /usr/lib/emacsen-common/packages/remove/coq - -FLAVOR=$1 -PACKAGE=coq - -if [ ${FLAVOR} != emacs ]; then - if test -x /usr/sbin/install-info-altdir; then - echo remove/${PACKAGE}: removing Info links for ${FLAVOR} - install-info-altdir --quiet --remove --dirname=${FLAVOR} /usr/info/coq.info.gz - fi - - echo remove/${PACKAGE}: purging byte-compiled files for ${FLAVOR} - rm -rf /usr/share/${FLAVOR}/site-lisp/${PACKAGE} -fi |