local-WWW: $(outdir)/collated-files.html $(outdir)/collated-files.pdf

#.PRECIOUS: $(outdir)/$(NAME).texi