#! /bin/sh
#this file is used to generate index page for "programmer modules documentation"

INDEX_DOC_TOP_FILENAME='index.html.top'
INDEX_DOC_BOTTOM_FILENAME='index.html.bottom'
INDEX_DOC_FILENAME='index.html'
DOC_REPOSITORY_DIRECTORY='../http_root/doc/'


cat $DOC_REPOSITORY_DIRECTORY$INDEX_DOC_TOP_FILENAME > $INDEX_DOC_FILENAME

CO_MODULES=`cat MODULES | sort`
for m_name in $CO_MODULES ; do
if [ -d $m_name ]; then
echo "<A href='main_classes/$m_name/index.doc.html'>$m_name</A><BR>" >> $INDEX_DOC_FILENAME
fi
done

cat $DOC_REPOSITORY_DIRECTORY$INDEX_DOC_BOTTOM_FILENAME >> $INDEX_DOC_FILENAME

cp $INDEX_DOC_FILENAME $DOC_REPOSITORY_DIRECTORY$INDEX_DOC_FILENAME
rm -f $INDEX_DOC_FILENAME