Update Makefile

carnegiemellonracing · Jun 3, 2024 · 84c0816 · 84c0816
1 parent f6092fa
commit 84c0816
Showing 1 changed file with 0 additions and 20 deletions.
diff --git 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