+# The directories are still in CVS, so don't delete them
+# rm -rf $(MANUAL).html $(TSS).html
+ rm -rf $(MANUAL).html/* $(TSS).html/* $(CDB).html
+ rm -rf $(MANUAL).txt $(TSS).txt $(CDB).txt \
+ *.pdf *.tex *.aux *.dvi *.idx *.ilg \
+ *.ind *.log *.toc *~ \#* *.ps */*.css */*.pl *.gif core *.glo