## Makefile.am for DiVine/include

divineincludedir = $(includedir)/divine

divineinclude_HEADERS = \
	divine.h