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 |