summaryrefslogtreecommitdiffstats
path: root/source/d/libtool/doinst.sh
diff options
context:
space:
mode:
Diffstat (limited to 'source/d/libtool/doinst.sh')
-rw-r--r--source/d/libtool/doinst.sh18
1 files changed, 18 insertions, 0 deletions
diff --git a/source/d/libtool/doinst.sh b/source/d/libtool/doinst.sh
new file mode 100644
index 000000000..38b074dd6
--- /dev/null
+++ b/source/d/libtool/doinst.sh
@@ -0,0 +1,18 @@
+# Update the /usr/info/dir info-database, so that we will see the new
+# "libtool" item in info root structure, if we type "info".
+if [ -x /usr/bin/install-info ] ; then
+ install-info --info-dir=/usr/info /usr/info/libtool.info.gz 2>/dev/null
+elif fgrep "libtoolize" usr/info/dir 1> /dev/null 2> /dev/null ; then
+ GOOD=yes # It seems to be entered in the /usr/info/dir already
+else # add the info to the dir file directly:
+cat << EOF >> usr/info/dir
+
+GNU programming tools
+* libtoolize: (libtool)Invoking libtoolize. Adding libtool support.
+* Libtool: (libtool). Generic shared library support script.
+
+Individual utilities
+* libtoolize: (libtool)Invoking libtoolize. Adding libtool support.
+* Libtool: (libtool). Generic shared library support script.
+EOF
+fi