diff options
| author | Martin Schanzenbach <schanzen@gnunet.org> | 2022-09-27 11:01:08 +0900 |
|---|---|---|
| committer | Martin Schanzenbach <schanzen@gnunet.org> | 2022-09-27 11:01:08 +0900 |
| commit | 3d7a012590a04bc982eedea351a606cd5f1cc851 (patch) | |
| tree | c1889af7d23221711a622897651878a1f6db6929 /Makefile.am | |
| parent | d567285664821f426e8de152f16df5806f8ac57f (diff) | |
| download | gnunet-3d7a012590a04bc982eedea351a606cd5f1cc851.tar.gz gnunet-3d7a012590a04bc982eedea351a606cd5f1cc851.zip | |
BUILD: Do not build whole documentation if manpages are also enabled
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/Makefile.am b/Makefile.am index 30cc02bc9..2a687c37e 100644 --- a/Makefile.am +++ b/Makefile.am | |||
| @@ -13,11 +13,6 @@ if DOCUMENTATION | |||
| 13 | SUBDIRS += doc | 13 | SUBDIRS += doc |
| 14 | endif | 14 | endif |
| 15 | 15 | ||
| 16 | # only manpages, needs "doc" subdir | ||
| 17 | if INCLUDE_MANPAGES | ||
| 18 | SUBDIRS += doc | ||
| 19 | endif | ||
| 20 | |||
| 21 | SUBDIRS += contrib | 16 | SUBDIRS += contrib |
| 22 | 17 | ||
| 23 | EXTRA_DIST = \ | 18 | EXTRA_DIST = \ |