diff options
author | Anton Leontiev | 2017-08-02 16:31:03 +0300 |
---|---|---|
committer | Anton Leontiev | 2017-08-02 16:33:12 +0300 |
commit | 43229d18b4f6ae8ba6e7d3421f97cc2bcbc83f22 (patch) | |
tree | 17d2071ae54cef379ceb473d76a98bd1f8372634 /numdiff.install | |
parent | d4101a2945323b30ab52f1855d4ed7f3a3ec38d7 (diff) | |
download | aur-43229d18b4f6ae8ba6e7d3421f97cc2bcbc83f22.tar.gz |
Update to v5.9.0
Remove workaround to the issue with long execution times and
overloading of the processor in case Numdiff had been built against
GNU MP with optimization enabled. The issue was fixed in v5.9.0.
Remove install script: its functionality is replaced by ALPM hooks.
Diffstat (limited to 'numdiff.install')
-rw-r--r-- | numdiff.install | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/numdiff.install b/numdiff.install deleted file mode 100644 index e4fb87b5ce30..000000000000 --- a/numdiff.install +++ /dev/null @@ -1,11 +0,0 @@ -post_install() { - [ -x usr/bin/install-info ] && install-info /usr/share/info/numdiff.info.gz /usr/share/info/dir 2> /dev/null -} - -post_upgrade() { - post_install $1 -} - -pre_remove() { - [ -x usr/bin/install-info ] && install-info --delete /usr/share/info/numdiff.info.gz /usr/share/info/dir 2> /dev/null -} |