diff options
| author | Christian Grothoff <christian@grothoff.org> | 2017-06-04 21:19:58 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2017-06-04 21:19:58 +0200 |
| commit | c3f49bcf796c74ffa6c671a88b8536359acab4a3 (patch) | |
| tree | 18379e3a77aa4a3415d4d8d52ff10de0cc4420fb /Makefile.am | |
| parent | 5ed9ada634ace0d917fab8557f0a49e45f13dd3c (diff) | |
simply remove --with-doc (#5048)
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/Makefile.am b/Makefile.am index fdab91e4..c42e33dd 100644 --- a/Makefile.am +++ b/Makefile.am @@ -3,10 +3,7 @@ if DOC_ONLY SUBDIRS = . doc else - SUBDIRS = . src -if WITH_DOC - SUBDIRS += doc -endif + SUBDIRS = . src doc endif @DX_RULES@ |