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) | |
download | gnunet-da083d77e1b70766d7067abf6cbc06e6c2cb6341.tar.gz gnunet-da083d77e1b70766d7067abf6cbc06e6c2cb6341.zip |
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 | |||
5 | if DOCUMENTATION_ONLY | 5 | if DOCUMENTATION_ONLY |
6 | SUBDIRS = doc | 6 | SUBDIRS = doc |
7 | else | 7 | else |
8 | SUBDIRS = m4 src po pkgconfig | 8 | SUBDIRS = m4 src po pkgconfig lint |
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) |