diff options
Diffstat (limited to 'Source/DiVine/include/Makefile.am')
| -rwxr-xr-x | Source/DiVine/include/Makefile.am | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Source/DiVine/include/Makefile.am b/Source/DiVine/include/Makefile.am new file mode 100755 index 0000000..5d15d97 --- /dev/null +++ b/Source/DiVine/include/Makefile.am @@ -0,0 +1,6 @@ +## Makefile.am for DiVine/include + +divineincludedir = $(includedir)/divine + +divineinclude_HEADERS = \ + divine.h |