From 606e434626d44cdbdd826dd29917dd5e7b0916e0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Elena=20Pe=C3=B1a=20Tapia?=
 <57907331+ElePT@users.noreply.github.com>
Date: Wed, 27 Sep 2023 10:30:06 +0200
Subject: [PATCH] Remove gh-pages from Makefile (#79)

---
 docs/Makefile | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/docs/Makefile b/docs/Makefile
index 059c756..25e0ea8 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -22,15 +22,6 @@ help:
 
 .PHONY: help Makefile
 
-.PHONY: gh-pages
-.ONESHELL:
-gh-pages:
-	rm -rf /tmp/gh-pages
-	cp -r $(BUILDDIR)/html /tmp/gh-pages
-	git checkout gh-pages
-	cd .. && rm -rf * && cp -r /tmp/gh-pages/* ./ && rm -rf /tmp/gh-pages && git add . && git commit -m "Updated gh-pages" && git push && git checkout main
-
-
 # Catch-all target: route all unknown targets to Sphinx using the new
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
 %: Makefile