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

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