1 2 3 4 5 6
## Makefile.am for DiVine/include divineincludedir = $(includedir)/divine divineinclude_HEADERS = \ divine.h