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