diff options
author | xrs <xrs@mail36.net> | 2018-06-30 19:22:10 +0200 |
---|---|---|
committer | xrs <xrs@mail36.net> | 2018-06-30 19:22:10 +0200 |
commit | f47bd9b4f08d9995d62697782cecc4967b1422d0 (patch) | |
tree | 2476a1da49688713c1f6a0addeb59c0e2424cc39 /Makefile.am | |
parent | dd68d665e140970c7d9dfd899fbdd4fefacb54a7 (diff) |
fix --enable-documentation option
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/Makefile.am b/Makefile.am index 45a693ac9..ad32cf920 100644 --- a/Makefile.am +++ b/Makefile.am @@ -3,8 +3,11 @@ AM_CPPFLAGS = -I$(top_srcdir)/src/include if DOCUMENTATION_ONLY SUBDIRS = doc -else - SUBDIRS = doc m4 src po pkgconfig +else + SUBDIRS = m4 src po pkgconfig +if DOCUMENTATION + SUBDIRS += doc +endif endif if !TALER_ONLY |