clean:
-# 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).html $(TSS).html $(CDB).html
rm -rf $(MANUAL).txt $(TSS).txt $(CDB).txt \
*.pdf *.tex *.aux *.dvi *.idx *.ilg *.out\
*.ind *.log *.toc *~ \#* *.ps */*.css */*.pl *.gif core *.glo
# Deleting all files created by configuring or building the program
# -----------------------------------------------------------------
distclean: clean
+ rm -f Makefile
# Like clean but some files may still exist
# -----------------------------------------