EXTRA_DIST = \
	gnotime.menu