diff options
| author | Vivien Kraus <vivien@planete-kraus.eu> | 2020-01-01 00:00:00 +0100 |
|---|---|---|
| committer | Vivien Kraus <vivien@planete-kraus.eu> | 2021-05-11 00:14:27 +0200 |
| commit | d33b47eb282d6b46378e88df3693caa7ce4f1cce (patch) | |
| tree | bb36ca3a8975ca2985b063a2971e59cc4cbf0a5c /Makefile.am | |
| parent | b021d3c7188a5705a858144c0bdd8e6a962fc677 (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 |