From 0de55de9bde55d83380e26b604193d68a183663c Mon Sep 17 00:00:00 2001
From: SuperKogito <superkogito@gmail.com>
Date: Sat, 9 Jul 2022 13:25:38 +0200
Subject: [PATCH] remove build bash script

---
 src/build_pages.sh | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100755 src/build_pages.sh

diff --git a/src/build_pages.sh b/src/build_pages.sh
deleted file mode 100755
index 9f468dc..0000000
--- a/src/build_pages.sh
+++ /dev/null
@@ -1,12 +0,0 @@
-# create pages
-make clean;
-make html;
-
-# move pages and format
-cd ../docs
-rm -rf doctrees
-mv html/* .
-rm -rf html
-
-# create nojekyll
-touch .nojekyll