Adopt sphinx Makefile to put man-pages in doc/.

Instead of hiding them in _build/doc
henrykironde · May 3, 2016 · 607463c · 607463c
1 parent ca18fbe
commit 607463c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/doc/Makefile b/doc/Makefile
@@ -139,8 +139,9 @@ text:
 
 man:
 	$(SPHINXBUILD) -b man $(ALLSPHINXOPTS) $(BUILDDIR)/man
+	cp -a $(BUILDDIR)/man/* .
 	@echo
-	@echo "Build finished. The manual pages are in $(BUILDDIR)/man."
+	@echo "Build finished. The manual pages are in doc/"
 
 texinfo:
 	$(SPHINXBUILD) -b texinfo $(ALLSPHINXOPTS) $(BUILDDIR)/texinfo