# empty

local-WWW: $(addprefix $(outdir)/,$(TEXI_FILES:.texi=.html))