+html-stamp: top $(patsubst %.dot,%.png,$(wildcard *.dot)) *.texinfo
+ makeinfo --html sbcl-internals.texinfo
+ # FIXME
+ cp -f *.png sbcl-internals
+ touch html-stamp
+clean:
+ rm -rf *.include *.info *.pdf *~ *.cp *.fn *.ky *.log *.pg *.toc \
+ *.tp *.vr *.aux *.eps *.png *.dvi *.ps *.txt *.fns \
+ html-stamp sbcl-internals/