22 lines
783 B
Bash
Executable File
22 lines
783 B
Bash
Executable File
#!/bin/bash
|
|
|
|
# Figure out what RHOME is set to
|
|
TMP_R_HOME=`R RHOME`
|
|
|
|
# Figure out what R_DOC_DIR is set to
|
|
# Ideally, we could ask R just like we do for RHOME, but we can't yet.
|
|
TMP_R_DOC_DIR=`grep "R_DOC_DIR=" /usr/bin/R | cut -d "=" -f 2`
|
|
|
|
# Write out all the contents in arch library locations
|
|
cat $TMP_R_HOME/library/*/CONTENTS > $TMP_R_DOC_DIR/html/search/index.txt 2>/dev/null
|
|
# Don't use .. based paths, substitute TMP_R_HOME
|
|
sed -i "s!../../..!$TMP_R_HOME!g" $TMP_R_DOC_DIR/html/search/index.txt
|
|
|
|
# Write out all the contents in noarch library locations
|
|
cat /usr/share/R/library/*/CONTENTS >> $TMP_R_DOC_DIR/html/search/index.txt 2>/dev/null
|
|
# Don't use .. based paths, substitute /usr/share/R
|
|
sed -i "s!../../..!/usr/share/R!g" $TMP_R_DOC_DIR/html/search/index.txt
|
|
|
|
exit 0
|
|
|