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