EXTRA_DIST = \
	amazon.gif \
	contents.html \
	cover.png \
	logo.gif \
	lua.1 \
	lua.css \
	lua.html \
	luac.1 \
	luac.html \
	manual.css \
	manual.html \
	readme.html