5c3682d
--- sphinx/doc/Makefile.mantarget	2014-02-13 23:28:58.604797750 +0700
5c3682d
+++ sphinx/doc/Makefile	2014-02-14 00:00:45.794658764 +0700
5c3682d
@@ -12,6 +12,12 @@
5c3682d
 help:
5c3682d
 	@$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
5c3682d
 
5c3682d
+# Likewise for man, since a man directory exist and make will assume
5c3682d
+# the target is up to date
5c3682d
+.PHONY: man
5c3682d
+man:
5c3682d
+	@$(SPHINXBUILD) -M man "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
5c3682d
+
5c3682d
 # Catch-all target: route all unknown targets to Sphinx using the new
5c3682d
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
5c3682d
 %: