diff options
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index f54ff203f..d69dd3a82 100644 --- a/Makefile.am +++ b/Makefile.am | |||
| @@ -12,6 +12,9 @@ endif | |||
| 12 | if DOCUMENTATION | 12 | if DOCUMENTATION |
| 13 | SUBDIRS += doc | 13 | SUBDIRS += doc |
| 14 | endif | 14 | endif |
| 15 | if HAVE_EXPERIMENTAL | ||
| 16 | SUBDIRS += lint | ||
| 17 | endif | ||
| 15 | 18 | ||
| 16 | # only manpages, needs "doc" subdir | 19 | # only manpages, needs "doc" subdir |
| 17 | if INCLUDE_MANPAGES | 20 | if INCLUDE_MANPAGES |