--- ./etc/LIBINDEX.linux-orig	Wed Sep  2 21:37:30 1998
+++ ./etc/LIBINDEX	Wed Sep  2 21:38:10 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.linux-orig	Wed Sep  2 21:38:58 1998
+++ ./src/front/R.sh.in	Wed Sep  2 21:39:53 1998
@@ -10,7 +10,7 @@
 	echo ${RHOME}; exit 0 ;;
     CMD)
 	shift; PATH=${PATH}:${RHOME}/cmd:${RHOME}/etc exec $* ;;
-    BATCH|COMPILE|INSTALL|REMOVE|SHLIB)
+    BATCH|COMPILE|INSTALL|REMOVE|SHLIB|LIBINDEX)
 	shift; exec sh ${RHOME}/etc/${ARG} $* ;;
     -d|--debugger)
 	exec $2 ${RHOME}/bin/R.binary ;;