#! /bin/bash

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
makeinfo --html VODoc.texi
#texi2html -glossary -number -monolithic VODoc.texi

cd ..

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