#!/bin/sh
# Copyright Anton Melser 2004, this documentation script is GPL licenced software. See the generated docs for further information.
#This script should make everything nicely
#Needless to say, my scripting sux!
for docset in $PWD/doc/gdocs/general $PWD/doc/gdocs/philo $PWD/doc/gdocs/technical $PWD/doc/gdocs/tutorial/ $PWD/doc/gdocs/featurePlan/ $PWD/doc/gdocs/commonDocbook
do
if [ -d $docset/html ]
then
rm -rf $docset/html
fi
if [ -d $docset/pdf ]
then
rm -rf $docset/pdf
fi
done
if [ -f doc/gdocs/dochome.html ]
then
rm -f doc/gdocs/dochome.html
fi
if [ -d doc/api-reference ]
then
rm -rf doc/api-reference
fi
echo ""
echo "All the documents made with makedocs, if any, have now been removed from their standard positions."
echo ""
exit 0
syntax highlighted by Code2HTML, v. 0.9.1