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