# we want footers even if website builds (or is built) partly
$(footify) $@
-
$(outdir)/%.html.omf: %.texi
$(call GENERATE_OMF,html)
$(deep-footify) $(sort $(wildcard $(outdir)/$(*F)/*.html))
$(outdir)/%.dvi: $(outdir)/%.texi
- cd $(outdir); texi2dvi --batch -t $(TEXINFO_PAPERSIZE) $(<F)
+ cd $(outdir); texi2dvi --batch $(TEXINFO_PAPERSIZE_OPTION) $(<F)
$(outdir)/%.txt: $(outdir)/%.texi
$(MAKEINFO) -I $(pwd) -I $(outdir) --no-split --no-headers --output $@ $<