diff options
| author | Christian Grothoff <christian@grothoff.org> | 2017-10-24 15:37:40 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2017-10-24 15:37:40 +0200 |
| commit | 1e2a852a9559fa27c13fb06e4704c7cf47870dfa (patch) | |
| tree | 1d4f04a663f467732f09969a476734737959549c /Makefile.am | |
| parent | 868a853f0e29c9611542c3e18cb4dfee84779ee3 (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 c42e33dd..9309390b 100644 --- a/Makefile.am +++ b/Makefile.am @@ -1,9 +1,17 @@ # This Makefile is in the public domain 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@ |