sphinx: makefile: add publish target

The 'publish' target prepares the sphinx output, so that it can be
transfered on the YP website.

(From yocto-docs rev: f7a06204ef94f9b71174de5364a62ba04deb709b)

Signed-off-by: Nicolas Dechesne <nicolas.dechesne@linaro.org>
Signed-off-by: Richard Purdie <richard.purdie@linuxfoundation.org>

documentation/Makefile.sphinx

@@ -12,7 +12,14 @@ BUILDDIR      = _build
 help:
 	@$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
 
-.PHONY: help Makefile.sphinx
+.PHONY: help Makefile.sphinx publish
+
+publish: Makefile.sphinx html singlehtml
+	rm -rf $(BUILDDIR)/final/
+	mkdir -p $(BUILDDIR)/final/
+	cp -r $(BUILDDIR)/html/* $(BUILDDIR)/final/
+	cp $(BUILDDIR)/singlehtml/index.html $(BUILDDIR)/final/singleindex.html
+	sed -i -e 's@index.html#@singleindex.html#@g' $(BUILDDIR)/final/singleindex.html
 
 # Catch-all target: route all unknown targets to Sphinx using the new
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).