#! /bin/bash

echo "Deleting old module documentations..."
rm -rf docs/mdoc/*

echo "Extracting module informations ..."
Autodoc -t -m -c -i -d docs/mdoc src/*.Mod
Autodoc -t -m -c -i -d docs/mdoc demos/*.Mod

cd docs
makeinfo --no-split VODoc.texi
makeinfo --no-split --no-headers Description.texi >../ABOUT
makeinfo --no-split --no-headers Announce.texi >../ANNOUNCE
texindex            VODoc.mo
texi2dvi            VODoc.texi
texi2html -glossary -number -monolithic VODoc.texi

cd ..

if [ -x "~/www" ]
then
cp docs/VODoc.html ~/www
fi
