$(outdir)/%/%.html: $(outdir)/%.texi
$(MAKEINFO) --output=$@ --css-include=$(top-src-dir)/Documentation/texinfo.css --html $<
$(outdir)/%/%.html: $(outdir)/%.texi
$(MAKEINFO) --output=$@ --css-include=$(top-src-dir)/Documentation/texinfo.css --html $<