EXTRA_DIST = \
	pralarm.h \
	probslet.h \
	protypes.h \
	prsem.h

debug:
install-debug: debug