summaryrefslogtreecommitdiff
path: root/Makefile.am
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2019-04-03 14:48:22 +0200
committerChristian Grothoff <christian@grothoff.org>2019-04-03 14:48:22 +0200
commit00ee3bc1f5703d9f4b9b568f0abee6c5403a8a05 (patch)
tree4dfbf3251d397d0efa54e7ff11ea9a1e8840e35d /Makefile.am
parent9859b3162a9fd7c9cc0c19582b04dd7f1c1f9408 (diff)
fix disting rules
Diffstat (limited to 'Makefile.am')
-rw-r--r--Makefile.am5
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
if DOCUMENTATION_ONLY
SUBDIRS = doc
else
- SUBDIRS = m4 src po pkgconfig lint
+ SUBDIRS = m4 src po pkgconfig
endif
# documentation on / off switch (affects all of the documentation)
if DOCUMENTATION
SUBDIRS += doc
endif
+if HAVE_EXPERIMENTAL
+ SUBIDRS += lint
+endif
# only manpages, needs "doc" subdir
if INCLUDE_MANPAGES