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

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