#!/bin/bash # Have to source the bashrc for potential LD_LIBRARY_PATH additions # (typical /usr/local install) source ${HOME}/.bashrc #echo ${LD_LIBRARY_PATH} echo "** Recreating bbtk doc index **" TMP=$(which $0|rev) TMP2=$(echo ${TMP#*/}|rev) DIR=${TMP2}/../@bbtk_install_gnome_DATA_REL_PATH@ echo "> cd ${DIR}/@BBTK_BBDOC_REL_PATH@" cd ${DIR}/@BBTK_BBDOC_REL_PATH@ echo "> bbi -n ./make-index" bbi -n ./make-index echo "** Done ! **"