From d37c1475619c762183d802f0ce073e48c4e21f7d Mon Sep 17 00:00:00 2001 From: Mike Bayer Date: Mon, 26 Aug 2019 19:41:58 -0400 Subject: [PATCH] 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 --- docs/build/Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/docs/build/Makefile b/docs/build/Makefile index 313a81e0..8762826f 100644 --- 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 ../." -- 2.47.2