diff options
Diffstat (limited to 'gpp/general-preprocessor.install')
-rw-r--r-- | gpp/general-preprocessor.install | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/gpp/general-preprocessor.install b/gpp/general-preprocessor.install deleted file mode 100644 index 3f68be9..0000000 --- a/gpp/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 -} - |