-# The directories are still in CVS, so don't delete them
-# rm -rf $(MANUAL).html $(TSS).html
- rm -f $(MANUAL).html/* $(TSS).html/*
- rm -rf $(MANUAL).txt $(TSS).txt *.pdf *.tex *.aux *.dvi *.idx *.ilg \
+ rm -rf $(MANUAL).html $(TSS).html $(CDB).html
+ rm -rf $(MANUAL).txt $(TSS).txt $(CDB).txt \
+ *.pdf *.tex *.aux *.dvi *.idx *.ilg *.out\