local-WWW: $(outdir)/$(NAME).html $(outdir)/$(NAME).ps.gz $(outdir)/$(NAME).pdf

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