+else # Rules using makeinfo follow
+$(outdir)/%/index.html: $(outdir)/%.texi $(outdir)/version.itexi
+ mkdir -p $(dir $@)
+ $(MAKEINFO) -P $(outdir) --output=$(outdir)/$* --css-include=$(top-src-dir)/Documentation/texinfo.css --html $<
+
+$(outdir)/%-big-page.html: $(outdir)/%.texi $(outdir)/version.itexi
+ $(MAKEINFO) -P $(outdir) --output=$@ --css-include=$(top-src-dir)/Documentation/texinfo.css --html --no-split --no-headers $<
+endif