rm -f $(PSFILES) $(PDFFILES) html-stamp tempfiles-stamp
rm -f $(TMPFILES) $(INDEXFILES)
rm -f sbcl.info sbcl.info-* asdf.info
rm -f $(PSFILES) $(PDFFILES) html-stamp tempfiles-stamp
rm -f $(TMPFILES) $(INDEXFILES)
rm -f sbcl.info sbcl.info-* asdf.info