From 807f42c30ddb00c4e2d4034ce1720d7cb494e074 Mon Sep 17 00:00:00 2001
From: root <root@rshg054.dnsready.net>
Date: Fri, 28 Oct 2011 23:14:50 +0000
Subject: Fri Oct 28 23:14:50 UTC 2011

---
 testing/gcc/gcc-ada.install | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 testing/gcc/gcc-ada.install

(limited to 'testing/gcc/gcc-ada.install')

diff --git a/testing/gcc/gcc-ada.install b/testing/gcc/gcc-ada.install
new file mode 100644
index 000000000..df0553a4f
--- /dev/null
+++ b/testing/gcc/gcc-ada.install
@@ -0,0 +1,20 @@
+infodir=usr/share/info
+filelist=(gnat-style.info gnat_rm.info gnat_ugn.info)
+
+post_install() {
+  [ -x usr/bin/install-info ] || return 0
+  for file in ${filelist[@]}; do
+    install-info $infodir/$file.gz $infodir/dir 2> /dev/null
+  done
+}
+
+post_upgrade() {
+  post_install $1
+}
+
+pre_remove() {
+  [ -x usr/bin/install-info ] || return 0
+  for file in ${filelist[@]}; do
+    install-info --delete $infodir/$file.gz $infodir/dir 2> /dev/null
+  done
+}
-- 
cgit v1.2.3-54-g00ecf