#!/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 "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` Topics in this directory: " >> index.html
for file in *.html
do
if [ $file != index.html ]; then
name=`basename $file .html`
echo " $name /Karin & Olof
|
EOF echo " $name help page" >> $file cat << EOF >> $file |
($local/$file) EOF echo " Sorry but the help file for $name is not yet done." >> $file cat << EOF >> $file /Karin & Olof
|