--- ./src/scripts/R.sh.in.libindex-patch	Mon Jun  5 07:52:39 2000
+++ ./src/scripts/R.sh.in	Mon Aug 21 08:53:52 2000
@@ -88,6 +88,7 @@
   SHLIB			Build shared library for dynamic loading
   INSTALL		Install add-on packages
   REMOVE		Remove add-on packages
+  LIBINDEX              Update the help index (text and html)
   build			Build add-on packages
   check			Check add-on packages
   Rdconv		Convert Rd format to various other formats
@@ -96,7 +97,7 @@
   Rdindex		Extract index information from Rd files
   Sd2Rd			Convert S documentation to Rd format
 
-The first five tools (i.e., BATCH, COMPILE, SHLIB, INSTALL, and REMOVE)
+The first six tools (i.e., BATCH, COMPILE, SHLIB, INSTALL, REMOVE and LIBINDEX)
 can also be invoked without the \`CMD' option.
 
 Please use \`R CMD command --help' to obtain further information about
@@ -111,7 +112,7 @@
   case ${1} in
     RHOME|--print-home)
       echo ${R_HOME}; exit 0 ;;
-    BATCH|COMPILE|INSTALL|REMOVE|SHLIB)
+    BATCH|COMPILE|INSTALL|REMOVE|SHLIB|LIBINDEX)
       cmd="${1}"; shift; exec sh "${R_HOME}/bin/${cmd}" "${@}" ;;
     CMD)
       shift; PATH="${R_HOME}/bin:${PATH}" exec "${@}" ;;
--- ./src/scripts/Makefile.in.libindex-patch	Wed Jun 28 17:09:58 2000
+++ ./src/scripts/Makefile.in	Mon Aug 21 08:57:19 2000
@@ -11,7 +11,7 @@
 include $(top_builddir)/Makeconf
 
 SCRIPTS_S = BATCH Rdiff Rd2dvi Rd2txt build filename help help.links \
-	maketitle massage-Examples pager
+	maketitle massage-Examples pager LIBINDEX
 SCRIPTS_B_IN = COMPILE.in INSTALL.in REMOVE.in Rd2contents.in \
 	Rdconv.in Rdindex.in SHLIB.in Sd2Rd.in LIB.in\
 	build-help.in check.in
--- ./src/scripts/LIBINDEX.libindex-patch	Mon Aug 21 08:53:51 2000
+++ ./src/scripts/LIBINDEX	Mon Aug 21 08:53:51 2000
@@ -0,0 +1,30 @@
+#! /bin/sh
+
+# ${R_HOME}/bin/LIBINDEX for updating library index
+# Usage:
+#      R LIBINDEX [lib]
+#                
+
+
+
+lib=${1:-${R_HOME}/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 ...
+
+${R_HOME}/bin/build-help --htmllists
+
+echo "DONE"