remove versionButton.php from source tree

Signed-off-by: Ahmad Rezaii <[email protected]>
chapel-lang · Feb 6, 2025 · c3e1250 · c3e1250
1 parent a9dfa71
commit c3e1250
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 142 deletions.
diff --git 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