From 41e342310c05a35057b47a13e58cd06588e6202c Mon Sep 17 00:00:00 2001 From: Matthew Barber Date: Tue, 15 Nov 2022 13:45:57 +0000 Subject: [PATCH] Introduce `_ghpages` to hold the non-Sphinx static files --- Makefile | 6 +++--- spec/{ => _ghpages}/_gitignore.txt | 3 +++ spec/{ => _ghpages}/index.html | 0 spec/{ => _ghpages}/versions.json | 0 4 files changed, 6 insertions(+), 3 deletions(-) rename spec/{ => _ghpages}/_gitignore.txt (91%) rename spec/{ => _ghpages}/index.html (100%) rename spec/{ => _ghpages}/versions.json (100%) diff --git a/Makefile b/Makefile index dd284a772..451b9224c 100644 --- a/Makefile +++ b/Makefile @@ -13,9 +13,9 @@ clean: build: -mkdir -p $(BUILDDIR) - -cp "$(SOURCEDIR)/_gitignore.txt" "$(BUILDDIR)/.gitignore" - -cp "$(SOURCEDIR)/versions.json" "$(BUILDDIR)/versions.json" - -cp "$(SOURCEDIR)/index.html" "$(BUILDDIR)/index.html" + -cp "$(SOURCEDIR)/_ghpages/_gitignore.txt" "$(BUILDDIR)/.gitignore" + -cp "$(SOURCEDIR)/_ghpages/versions.json" "$(BUILDDIR)/versions.json" + -cp "$(SOURCEDIR)/_ghpages/index.html" "$(BUILDDIR)/index.html" -touch "$(BUILDDIR)/.nojekyll" -sphinx-build "$(SOURCEDIR)/2021.12" "$(BUILDDIR)/2021.12" $(SPHINXOPTS) -cp -r "$(BUILDDIR)/2021.12" "$(BUILDDIR)/latest" diff --git a/spec/_gitignore.txt b/spec/_ghpages/_gitignore.txt similarity index 91% rename from spec/_gitignore.txt rename to spec/_ghpages/_gitignore.txt index b59959e38..4e7ddcaad 100644 --- a/spec/_gitignore.txt +++ b/spec/_ghpages/_gitignore.txt @@ -21,6 +21,9 @@ # OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE # SOFTWARE. #/ +# +# Note this file is not intended to be a .gitignore for the main branch, but to +# be copied into gh-pages branch. _site build/ diff --git a/spec/index.html b/spec/_ghpages/index.html similarity index 100% rename from spec/index.html rename to spec/_ghpages/index.html diff --git a/spec/versions.json b/spec/_ghpages/versions.json similarity index 100% rename from spec/versions.json rename to spec/_ghpages/versions.json