#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='.'


cat $DOC_REPOSITORY_DIRECTORY$INDEX_DOC_TOP_FILENAME > $INDEX_DOC_FILENAME

CO_MODULES=`cat ../../comodules/MODULES | sort`
for m_name in $CO_MODULES ; do
echo "<A href='co_doc_$m_name.html'>$m_name</A><BR>" >> $INDEX_DOC_FILENAME
done

cat $DOC_REPOSITORY_DIRECTORY$INDEX_DOC_BOTTOM_FILENAME >> $INDEX_DOC_FILENAME
