BUILT_MAN_FILES = $(wildcard doc/man/*.3)
CLEANFILES += $(wildcard doc/man/*.3)

dist_man_MANS = $(BUILT_MAN_FILES)
# Automake (at least up to 1.10) mishandles dist_man_MANS inside conditionals.
# Unlike with other dist primaries, the files are not distributed if the
# conditional is false.
# Work the bug around until it is fixed:
dist_noinst_DATA = $(dist_man_MANS)

man3_MANS = $(BUILT_MAN_FILES)

.PHONY: man

# "E" is "ignore cache", "b" is build type.
man:
	-mkdir -p doc/man
	$(SPHINX_BUILD) -qEW -b man $(top_srcdir)/doc doc/man

EXTRA_DIST += doc/man