$(PYTHON) $(step-bindir)/add-html-footer.py --package=$(topdir) --index=$(depth)/../index.html $@ $(wildcard $(basename $@)[0-9][0-9].html)
$(outdir)/%.dvi: $(outdir)/%.texi
- cd $(outdir); texi2dvi --clean ../$<
+ # --clean only in >= 3.12s
+ # cd $(outdir); texi2dvi --clean ../$<
+ cd $(outdir); texi2dvi ../$<