diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-04-03 14:39:03 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-04-03 14:39:03 +0200 |
| commit | da083d77e1b70766d7067abf6cbc06e6c2cb6341 (patch) | |
| tree | 55902287d40fe3e8d17f9a76dc138b38d7553553 /Makefile.am | |
| parent | 10c1ecc2798ee90a0cb115942beef8f9cba57f0d (diff) | |
include linting
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index f54ff203f..19d6a8bef 100644 --- a/Makefile.am +++ b/Makefile.am @@ -5,7 +5,7 @@ AM_CPPFLAGS = -I$(top_srcdir)/src/include if DOCUMENTATION_ONLY SUBDIRS = doc else - SUBDIRS = m4 src po pkgconfig + SUBDIRS = m4 src po pkgconfig lint endif # documentation on / off switch (affects all of the documentation) |