diff --git a/doc/Makefile.sphinx b/doc/Makefile.sphinx index fc42f290f713..14b31fa3030e 100644 --- a/doc/Makefile.sphinx +++ b/doc/Makefile.sphinx @@ -84,8 +84,7 @@ html-release: check-sphinxbuild source @echo @echo "Building HTML documentation" $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html - @chmod -R ugo+rX $(BUILDDIR) - @$(COPY_IF_DIFFERENT) util/versionButton.php $(BUILDDIR)/html/versionButton.php + @chmod -R ugo+rX $(BUILDDIR) @echo "ErrorDocument 404 https://chapel-lang.org/docs/$(WEB_DOC_VERSION)/" > $(BUILDDIR)/html/.htaccess @echo copying searchtools.js @cp $(CHPL_MAKE_HOME)/doc/rst/meta/static/searchtools.js $(BUILDDIR)/html/_static diff --git a/doc/util/versionButton.php b/doc/util/versionButton.php deleted file mode 100755 index 0f817e4c6986..000000000000 --- a/doc/util/versionButton.php +++ /dev/null @@ -1,140 +0,0 @@ - - -
- -
-
-
-