#!/bin/sh dir=`basename \`pwd\`` subdirs=`find . -maxdepth 1 -type d` local=`pwd | sed -e 's/^.*\/help\/C\\(.*\\)/\\1/'` # # Create the index for this directory # cat << EOF > index.html EOF echo " Index for $dir" >> index.html cat << EOF >> index.html
EOF echo " $dir Index" >> index.html cat << EOF >> index.html

($local/index.html)

EOF echo " Top index

" >> index.html set $subdirs if [ "x$3" != "x" ]; then echo " Subtopics available:

" >> index.html for dir in $subdirs do if [ $dir != "." ]; then if [ $dir != "./CVS" ]; then echo " `basename $dir`
" >> index.html fi fi done fi echo "

Topics in this directory:

" >> index.html for file in *.html do if [ $file != index.html ]; then name=`basename $file .html` echo " $name
" >> index.html fi done cat << EOF >> index.html

/Karin & Olof

EOF