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-18 15:43:45 +0200 |
| commit | ee4b746fbfd39d44c9a4eb065e4eddc146903e02 (patch) | |
| tree | 8e024633b455443eccfdc11c77b58b478eb8afba /Makefile.am | |
| parent | 7e125cc85c79e0854ca300dec6f819598e3fc6b0 (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 |