-$(outdir)/%/%.html: $(outdir)/%.texi
- $(MAKEINFO) --output=$@ --html $<
-# we want footers even if website builds (or is built) partly
- $(deep-footify) $(sort $(wildcard $(outdir)/$(*F)/*.html))
+$(outdir)/%/%.html: $(outdir)/%.texi
+ $(MAKEINFO) --output=$@ --css-include=$(top-src-dir)/Documentation/texinfo.css --html $<
+