diff options
| author | Vivien Kraus <vivien@planete-kraus.eu> | 2020-01-01 00:00:00 +0100 |
|---|---|---|
| committer | Vivien Kraus <vivien@planete-kraus.eu> | 2021-06-19 15:44:24 +0200 |
| commit | c54ad2f70f705a62946fb93902f9a9bd65ae1fed (patch) | |
| tree | 672a7c71542425cb5694cf349c366e9d4f4745be /Makefile.am | |
| parent | 7c81a49d762e67b21c99a95b86d1e7886d91de02 (diff) | |
Add a random number generator.
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 207bba2..73af906 100644 --- a/Makefile.am +++ b/Makefile.am @@ -12,6 +12,7 @@ AM_CPPFLAGS = -DLOCALEDIR=\"$(localedir)\" -I. -I$(srcdir) AM_CFLAGS = $(GUILE_CFLAGS) $(NETTLE_CFLAGS) nodist_noinst_SCRIPTS = pre-inst-env INDENTED = +include_HEADERS = include src/Makefile.am include doc/Makefile.am |