EXTRA_DIST = \
index.html \
logo.gif