#!/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