EXTRA_DIST =  \
	      base_display.txt base_interrupt.txt base_other.txt base_power.txt base_rings.txt \
	      quick_dump.py