--- etc/LIBINDEX.liborig	Sun Jul 19 18:16:49 1998
+++ etc/LIBINDEX	Sun Jul 19 18:17:39 1998
@@ -0,0 +1,30 @@
+#! /bin/sh
+
+# ${RHOME}/etc/LIBINDEX for updating library index
+# Usage:
+#      R LIBINDEX [lib]
+#                
+
+
+
+lib=${1:-${RHOME}/library}
+test -d ${lib} || exit 1;
+lib=`cd ${lib}; pwd`
+
+rm -f ${lib}/LibIndex 
+
+echo updating LibIndex ...
+for pkg in `ls -d ${lib}/*`; do
+    if test -d ${pkg}; then
+       if test -f ${pkg}/TITLE; then
+#         echo " adding entry for library" ${pkg##*/}
+           cat ${pkg}/TITLE >> ${lib}/LibIndex 2> /dev/null
+       fi
+    fi
+done
+
+echo updating HTML index ...
+
+${RHOME}/etc/build-help --htmllists
+
+echo "DONE"
--- src/front/R.sh.in.liborig	Sun Jul 19 18:37:12 1998
+++ src/front/R.sh.in	Sun Jul 19 18:39:36 1998
@@ -10,7 +10,7 @@
 	echo ${RHOME}; exit 0 ;;
     CMD)
 	shift; PATH=$PATH:$RHOME/cmd:$RHOME/etc exec $* ;;
-    SHLIB|COMPILE|INSTALL|REMOVE)
+    SHLIB|COMPILE|INSTALL|REMOVE|LIBINDEX)
 	shift; exec sh ${RHOME}/etc/${ARG} $* ;;
     -d|--debugger)
 	exec $2 ${RHOME}/bin/R.binary ;;