Fix doc/Makefile that can't build man because of doc/man folder exists

This commit is contained in:
Yoshiki Shibukawa 2016-09-02 15:25:22 +09:00
parent 55a8ab3bbb
commit 6ee4289a95
2 changed files with 6 additions and 0 deletions

View File

@ -4,6 +4,8 @@ Release 1.4.9 (in development)
Bugs fixed Bugs fixed
---------- ----------
* #2936: Fix doc/Makefile that can't build man because doc/man exists
Release 1.4.8 (released Oct 1, 2016) Release 1.4.8 (released Oct 1, 2016)
==================================== ====================================

View File

@ -1,3 +1,4 @@
.PHONY: man
# Makefile for Sphinx documentation # Makefile for Sphinx documentation
# #
@ -12,6 +13,9 @@ BUILDDIR = _build
help: help:
@$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) @$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
man:
@$(SPHINXBUILD) -M man "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
# Catch-all target: route all unknown targets to Sphinx using the new # Catch-all target: route all unknown targets to Sphinx using the new
# "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS). # "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS).
%: %: