blob: 2298866efe6be759d5b5febfafb38fd74dcd00e6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
AUTOMAKE_OPTIONS = gnu
EXTRA_DIST = conf.py
dist_man_MANS =
if HAS_SPHINX_BUILD
if ENABLE_CLIENT
include Makefile-client.am
endif
if ENABLE_SERVER
include Makefile-server.am
endif
# prevent `make` from running in parallel, sphinx runs better in batch mode.
.PHONY: sphinx-build.stamp
$(dist_man_MANS): sphinx-build.stamp
# in a tree populated from dist tarball, the $(top_srcdir)/doc is not included
sphinx-build.stamp:
if [ -d $(top_srcdir)/doc/man ] ; then \
${SPHINX_BUILD} -b man -d doctrees -c . $(top_srcdir)/doc/man $(top_builddir)/man; \
fi
clean-local:
@rm -rf doctrees
MAINTAINERCLEANFILES = $(dist_man_MANS)
endif
|
