diff options
author | Christian Grothoff <christian@grothoff.org> | 2019-04-03 14:48:22 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2019-04-03 14:48:22 +0200 |
commit | 00ee3bc1f5703d9f4b9b568f0abee6c5403a8a05 (patch) | |
tree | 4dfbf3251d397d0efa54e7ff11ea9a1e8840e35d /Makefile.am | |
parent | 9859b3162a9fd7c9cc0c19582b04dd7f1c1f9408 (diff) | |
download | gnunet-00ee3bc1f5703d9f4b9b568f0abee6c5403a8a05.tar.gz gnunet-00ee3bc1f5703d9f4b9b568f0abee6c5403a8a05.zip |
fix disting rules
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 19d6a8bef..796225a04 100644 --- a/Makefile.am +++ b/Makefile.am | |||
@@ -5,13 +5,16 @@ AM_CPPFLAGS = -I$(top_srcdir)/src/include | |||
5 | if DOCUMENTATION_ONLY | 5 | if DOCUMENTATION_ONLY |
6 | SUBDIRS = doc | 6 | SUBDIRS = doc |
7 | else | 7 | else |
8 | SUBDIRS = m4 src po pkgconfig lint | 8 | SUBDIRS = m4 src po pkgconfig |
9 | endif | 9 | endif |
10 | 10 | ||
11 | # documentation on / off switch (affects all of the documentation) | 11 | # documentation on / off switch (affects all of the documentation) |
12 | if DOCUMENTATION | 12 | if DOCUMENTATION |
13 | SUBDIRS += doc | 13 | SUBDIRS += doc |
14 | endif | 14 | endif |
15 | if HAVE_EXPERIMENTAL | ||
16 | SUBIDRS += lint | ||
17 | endif | ||
15 | 18 | ||
16 | # only manpages, needs "doc" subdir | 19 | # only manpages, needs "doc" subdir |
17 | if INCLUDE_MANPAGES | 20 | if INCLUDE_MANPAGES |