diff options
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 -} |