2 DOCFILES:=$(shell echo *.texinfo)
4 TMPFILES:=sbcl.aux sbcl.cp sbcl.fn sbcl.ky sbcl.log sbcl.pg sbcl.toc sbcl.tp sbcl.vr
37 html-stamp: $(DOCFILES)
39 $(MAKEINFO) --html $(ROOTFILE)
49 $(DVIFILE): $(DOCFILES)
56 $(PDFFILE): $(DOCFILES)
63 $(INFOFILE): $(DOCFILES)
64 $(MAKEINFO) $(ROOTFILE)
70 rm -f *~ *.bak *.orig \#*\# .\#* texput.log
72 rm -f $(PSFILE) $(PDFFILE) $(DVIFILE) html-stamp
74 rm -f sbcl.info sbcl.info-*