diff options
author | Martin Schanzenbach <schanzen@gnunet.org> | 2022-01-05 08:27:05 +0100 |
---|---|---|
committer | Martin Schanzenbach <schanzen@gnunet.org> | 2022-01-05 08:27:05 +0100 |
commit | 18d8c9f2594c37514ac7130640b9b5b059c4bbc4 (patch) | |
tree | a106312b325f964c2d8b6d4febf4bb5e03a7b5fe | |
parent | 0b5e911055f7bb50b91d57a7832985d098ba693c (diff) |
-add distcheck flags
-rw-r--r-- | Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 30cc02bc9..612bdca63 100644 --- a/Makefile.am +++ b/Makefile.am @@ -1,6 +1,8 @@ # This Makefile.am is in the public domain AM_CPPFLAGS = -I$(top_srcdir)/src/include +AM_DISTCHECK_CONFIGURE_FLAGS = --enable-experimental + # only documentation (ALL of the documentation) if DOCUMENTATION_ONLY SUBDIRS = bin doc |