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-05 16:10:24 +0200 |
commit | 8df0af8301aca112804768f532a4a62dcf3d61d6 (patch) | |
tree | ca248ae8833de333f3a313596c5152a1d71deae7 /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 |