EXTRA_DIST = $(wildcard *.html)