PDF_FILES = $(MASTER_TEXI_FILES:%.texi=$(outdir)/%.pdf)
HTML_FILES = $(MASTER_TEXI_FILES:%.texi=$(outdir)/%/index.html) \
$(MASTER_TEXI_FILES:%.texi=$(outdir)/%-big-page.html)
PDF_FILES = $(MASTER_TEXI_FILES:%.texi=$(outdir)/%.pdf)
HTML_FILES = $(MASTER_TEXI_FILES:%.texi=$(outdir)/%/index.html) \
$(MASTER_TEXI_FILES:%.texi=$(outdir)/%-big-page.html)