diff options
| author | Kefu Chai <kchai@redhat.com> | 2015-05-04 18:26:31 +0200 |
|---|---|---|
| committer | Kefu Chai <kchai@redhat.com> | 2015-05-06 04:17:42 +0200 |
| commit | 5b2357e663e603b23584b5e0114eb498d4ad6853 (patch) | |
| tree | 1e87987febd6c9cb59544e9daf60bfdf86e5bb99 /man | |
| parent | Merge pull request #4554 from liewegas/wip-cleanup (diff) | |
| download | ceph-5b2357e663e603b23584b5e0114eb498d4ad6853.tar.xz ceph-5b2357e663e603b23584b5e0114eb498d4ad6853.zip | |
configure.ac: add an option: --with-man-pages
* do not require sphinx-build if --without-man-pages
* dist rst files for man pages
* build and dist .8 files if sphinx-build is found
Signed-off-by: Kefu Chai <kchai@redhat.com>
Diffstat (limited to 'man')
| -rw-r--r-- | man/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/Makefile.am b/man/Makefile.am index 2298866efe6..7d1159edff0 100644 --- a/man/Makefile.am +++ b/man/Makefile.am @@ -4,7 +4,7 @@ EXTRA_DIST = conf.py dist_man_MANS = -if HAS_SPHINX_BUILD +if WITH_MAN_PAGES if ENABLE_CLIENT include Makefile-client.am endif |