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) |
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 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 |