From 84c0816643e7226aab5964d8c9953aa52cc04c9f Mon Sep 17 00:00:00 2001
From: Saket Kulkarni <saketk@andrew.cmu.edu>
Date: Mon, 3 Jun 2024 19:27:36 -0400
Subject: [PATCH] Update Makefile

---
 documentation/html/Makefile | 20 --------------------
 1 file changed, 20 deletions(-)

diff --git a/documentation/html/Makefile b/documentation/html/Makefile
index 0a4198b..d0c3cbf 100644
--- a/documentation/html/Makefile
+++ b/documentation/html/Makefile
@@ -18,23 +18,3 @@ help:
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
 %: Makefile
 	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
-
-# manual 
-github_docs:
-    cd documentation/html
-    rm -rf build
-    mkdir ./build && touch ./build/.nojekyll
-    @cp -a source/index.rst /source/index.rst
-    @make -C ./build html
-    @cp -a ./build/_build/html/. ./docs
-
-# automatic github action push or pull request
-github_action_docs:
-    cd documentation/html
-    rm -rf build
-    mkdir build && touch build/.nojekyll
-    @cp -a index.rst source/index.rst
-    rm -rf build/_build && mkdir build/_build 
-    rm -rf build/_autosummary
-    pipx run poetry run sphinx-build -b html build build/_build/html
-    @cp -a build/_build/html/* docs