change dist-html to use cp

for unknown reasons sphinx is suddenly having a problem with the
_static directory being moved a directory upwards, so change how
dist-html works to just build normally then move files

Change-Id: I3f1c7260975c91c90a8e1ffb16ecb481aa3a583f

diff --git a/docs/build/Makefile b/docs/build/Makefile
index 313a81e0c356d8ded5d9f2058c882a4def16014e..8762826f71732ebc7de28ca337391868a8bf5467 100644 (file)
--- a/docs/build/Makefile
+++ b/docs/build/Makefile
@@ -37,7 +37,9 @@ html:
        @echo "Build finished. The HTML pages are in $(BUILDDIR)/html."
 
 dist-html:
-       $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) ..
+       $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html
+       cp -R $(BUILDDIR)/html/* ../
+       rm -fr $(BUILDDIR)/html
        @echo
        @echo "Build finished.  The HTML pages are in ../."