From ad600c54b527ca163ecc441b36f1446d1704fe0b Mon Sep 17 00:00:00 2001
From: Mattias Andrée <maandree@kth.se>
Date: Mon, 13 Feb 2017 08:47:56 +0100
Subject: Remove dist
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Mattias Andrée <maandree@kth.se>
---
 dist/archlinux/stable/general-preprocessor.install | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100644 dist/archlinux/stable/general-preprocessor.install

(limited to 'dist/archlinux/stable/general-preprocessor.install')

diff --git a/dist/archlinux/stable/general-preprocessor.install b/dist/archlinux/stable/general-preprocessor.install
deleted file mode 100644
index 3f68be9..0000000
--- a/dist/archlinux/stable/general-preprocessor.install
+++ /dev/null
@@ -1,20 +0,0 @@
-_file="general-preprocessor"
-
-infodir="usr/share/info"
-file="${_file}.info"
-
-
-post_install() {
-  [[ -x "usr/bin/install-info" ]] || return 0
-  install-info -- "${infodir}/${file}" "${infodir}/dir" 2> /dev/null
-}
-
-post_upgrade() {
-  post_install "$1"
-}
-
-pre_remove() {
-  [[ -x "usr/bin/install-info" ]] || return 0
-  install-info --delete -- "${infodir}/${file}" "${infodir}/dir" 2> /dev/null
-}
-
-- 
cgit v1.2.3-70-g09d2