EXTRA_DIST=						\
	README						\
	dominfo.py domrestore.py domsave.py domstart.py	\
	guava.xml papaya.xml