diff options
| author | Christian Grothoff <christian@grothoff.org> | 2017-10-24 15:37:46 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2017-10-24 15:37:46 +0200 |
| commit | d107baa2c30980b85f6330f3f7c3287b4d58708b (patch) | |
| tree | c1a88862b9c08a9fb51d199b27cbeadcb871a896 /Makefile.am | |
| parent | 288c7160d7ab892ed8e45e57f772bc0ebf180649 (diff) | |
fix #5108
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index ab0f3acc4..2499efb6f 100644 --- a/Makefile.am +++ b/Makefile.am @@ -2,9 +2,17 @@ AM_CPPFLAGS = -I$(top_srcdir)/src/include if DOC_ONLY +if ENABLE_DOC SUBDIRS = . doc else + SUBDIRS = . +endif +else +if ENABLE_DOC SUBDIRS = . src doc +else + SUBDIRS = . src doc +endif endif @DX_RULES@ |