diff options
author | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2013-03-23 06:22:06 -0300 |
---|---|---|
committer | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2013-03-23 06:22:06 -0300 |
commit | 9b90fd66f8b1a7885489c886573120d2a4fe533c (patch) | |
tree | c18b196a36805a03ef748961558c4db3f964f56b /libre/libtasn1/libtasn1.install | |
parent | 6d79f76bc9b912dab5a81a9996da5bcb52d64301 (diff) |
gnome-desktop2 and libtasn1: removing due that it is not user-visible for rebranding
Diffstat (limited to 'libre/libtasn1/libtasn1.install')
-rw-r--r-- | libre/libtasn1/libtasn1.install | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/libre/libtasn1/libtasn1.install b/libre/libtasn1/libtasn1.install deleted file mode 100644 index 2d1ecc09f..000000000 --- a/libre/libtasn1/libtasn1.install +++ /dev/null @@ -1,18 +0,0 @@ -info_dir=/usr/share/info -info_files=(libtasn1.info) - -post_install() { - for f in ${info_files[@]}; do - install-info ${info_dir}/$f.gz ${info_dir}/dir 2> /dev/null - done -} - -post_upgrade() { - post_install $1 -} - -pre_remove() { - for f in ${info_files[@]}; do - install-info --delete ${info_dir}/$f.gz ${info_dir}/dir 2> /dev/null - done -} |