#!/bin/csh -fx

#
# A simple shell script that makes WAIS indexes of a directory with
# the paths munged appropriately.
#
# Automatically makes a link for good measure too.
#

set Indexer    = /home/mudhoney/lindner/src/wais-8-b5/bin/waisindex
set FileType  = filename

set GopherHome = "/home/mermaid1/lindner/gopher-data/"
set DataSubDir = "Fun Stuff/Recipes"
set IndexName  = "Recipe Index"

exit
#############################################################

mkdir /tmp/wais$$index

rm -rf "$GopherHome/$DataSubDir/.waisindex" # get rid of old index

if ( ! -d "$GopherHome/$DataSubDir/.waisindex") then
	mkdir "$GopherHome/$DataSubDir/.waisindex"
endif

cd    "/tmp/wais$$index"

$Indexer -t $FileType -r "$GopherHome/$DataSubDir/"

mv /tmp/wais$$index/*  "$GopherHome/$DataSubDir/.waisindex"
rm -rf /tmp/wais$$index

rm -f "$GopherHome/$DataSubDir/.IndexLink"

echo "Name=$IndexName" 		 	>"$GopherHome/$DataSubDir/.IndexLink"
echo "Type=7" 				>>"$GopherHome/$DataSubDir/.IndexLink"
echo "Path=7/$DataSubDir/.waisindex/index">>"$GopherHome/$DataSubDir/.IndexLink"
echo "Host=+"				>>"$GopherHome/$DataSubDir/.IndexLink"
echo "Port=+"				>>"$GopherHome/$DataSubDir/.IndexLink"
echo "Numb=1"				>>"$GopherHome/$DataSubDir/.IndexLink"