EXTRA_DIST=become-root-snapshot.png broken-snapshot.png colors-snapshot.png \
	dselect-theme.png expand-once-snapshot.png expand-thrice-snapshot.png \
	expand-twice-snapshot.png info-snapshot.png install-snapshot.png \
	limit-result-snapshot.png limit-snapshot.png menu-snapshot.png \
	mine-snapshot.png mine-snapshot2.png mine-snapshot3.png \
	mine-snapshot4.png mine-snapshot5.png preview-snapshot.png \
	search-snapshot.png start-snapshot.png vertical-split-theme.png