diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-08-20 22:48:07 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-08-20 22:48:07 -0500 |
commit | b4b9cf48a9ebef33d696428f788f9c46ce8e9568 (patch) | |
tree | e273b6f93fd61a04ca518de8a8cd16b0b822cc48 /pcr/wdiff/wdiff.install | |
parent | 68f4a6b6f39e4e6232767730eb1289618650e420 (diff) | |
download | abslibre-b4b9cf48a9ebef33d696428f788f9c46ce8e9568.tar.gz abslibre-b4b9cf48a9ebef33d696428f788f9c46ce8e9568.tar.bz2 abslibre-b4b9cf48a9ebef33d696428f788f9c46ce8e9568.zip |
Removing wdiff: This package is in [community] repo
Diffstat (limited to 'pcr/wdiff/wdiff.install')
-rw-r--r-- | pcr/wdiff/wdiff.install | 13 |
1 files changed, 0 insertions, 13 deletions
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 -} |