From bd6b56f2ab81a4f1a23c98e67b083ee519f27279 Mon Sep 17 00:00:00 2001
From: André Fabian Silva Delgado <emulatorman@lavabit.com>
Date: Sat, 23 Mar 2013 03:07:53 -0300
Subject: gnome-{desktop2,menus},libtasn1,usermin,xsp,webmin: adding packages
 to [libre] repo due rebranding

---
 libre/libtasn1/libtasn1.install | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 libre/libtasn1/libtasn1.install

(limited to 'libre/libtasn1/libtasn1.install')

diff --git a/libre/libtasn1/libtasn1.install b/libre/libtasn1/libtasn1.install
new file mode 100644
index 000000000..2d1ecc09f
--- /dev/null
+++ b/libre/libtasn1/libtasn1.install
@@ -0,0 +1,18 @@
+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
+}
-- 
cgit v1.2.3