+# makeinfo MUST have PNGs in cwd for info images to work
+ $(MAKEINFO) -I$(outdir) --output=$@ $<
+
+$(outdir)/%-big-page.html: $(outdir)/%.texi
+ $(MAKEINFO) -I $(outdir) --output=$@ --css-include=$(top-src-dir)/Documentation/texinfo.css --html --no-split -D bigpage --no-headers $<