#!/bin/sh
## $poplocal/local/prb/install_prb
## Aaron Sloman (The University of Birmingham)
## 1 Nov 1994
## Assuming this directory, or a link to it, is in $poplocal/local/prb
## run this script to make LIB POPRULEBASE readily accessible.
## 10th Nov. Added link for help/prb_news and prblib.p

echo "making links in $poplocal/local/teach"
cd $poplocal/local/teach
ln -s ../prb/teach/poprulebase .
ln -s ../prb/teach/prbriver .

echo "making links in $poplocal/local/help"
cd $poplocal/local/help
ln -s ../prb/help/poprulebase .
ln -s ../prb/help/prb_extra .
ln -s ../prb/help/prb_filter .
ln -s ../prb/help/prb_news .

echo "making links in $poplocal/local/lib"
cd $poplocal/local/lib
ln -s ../prb/lib/poprulebase.p .
ln -s ../prb/prblib.p .

echo "making index files"

cd $poplocal/local/prb/auto
    echo "nil -> proglist; ;;; prevent compilation" > prbautoindex.p
    echo "INDEX OF AUTOLOADABLE FILES" >> prbautoindex.p
    ls -C | expand >> prbautoindex.p

cd $poplocal/local/prb/help
    ls -C | expand > prbhelpindex

cd $poplocal/local/prb/lib
    echo "nil -> proglist; ;;; prevent compilation" > prblibindex.p
    echo "INDEX OF NON-AUTOLOADABLE LIBRARY FILES" >> prblibindex.p
    ls -C | expand >> prblibindex.p

cd $poplocal/local/prb/ref
    ls -C | expand > prbrefindex

cd $poplocal/local/prb/teach
    ls -C | expand > prbteachindex

echo "done"
