From b4b9cf48a9ebef33d696428f788f9c46ce8e9568 Mon Sep 17 00:00:00 2001
From: Omar Vega Ramos <ovruni@gnu.org.pe>
Date: Mon, 20 Aug 2018 22:48:07 -0500
Subject: Removing wdiff: This package is in [community] repo

---
 pcr/wdiff/wdiff.install | 13 -------------
 1 file changed, 13 deletions(-)
 delete mode 100644 pcr/wdiff/wdiff.install

(limited to 'pcr/wdiff/wdiff.install')

diff --git a/pcr/wdiff/wdiff.install b/pcr/wdiff/wdiff.install
deleted file mode 100644
index 40c5b92fc..000000000
--- a/pcr/wdiff/wdiff.install
+++ /dev/null
@@ -1,13 +0,0 @@
-infodir=/usr/share/info
-
-post_install() {
-  install-info $infodir/wdiff.info $infodir/dir 2> /dev/null
-}
-
-post_upgrade() {
-  post_install $1
-}
-
-pre_remove() {
-  install-info --delete $infodir/wdiff.info $infodir/dir 2> /dev/null
-}
-- 
cgit v1.2.3