Introduce _ghpages to hold the non-Sphinx static files

Author: honno

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"

spec/_gitignore.txt renamed to 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/