From ac44492ffe9319cb4afb186382dee9d49d8ac6ae Mon Sep 17 00:00:00 2001
From: Anthony Scemama <scemama@irsamc.ups-tlse.fr>
Date: Wed, 28 Feb 2024 11:03:41 +0100
Subject: [PATCH] Removed org-html-themes

---
 .gitmodules                          | 3 ---
 bin/tangle.sh                        | 2 ++
 docs/org-html-themes                 | 1 -
 .gitlab-ci.yml => gitlab-ci.yml.save | 0
 4 files changed, 2 insertions(+), 4 deletions(-)
 delete mode 100644 .gitmodules
 delete mode 160000 docs/org-html-themes
 rename .gitlab-ci.yml => gitlab-ci.yml.save (100%)

diff --git a/.gitmodules b/.gitmodules
deleted file mode 100644
index 72580f4..0000000
--- a/.gitmodules
+++ /dev/null
@@ -1,3 +0,0 @@
-[submodule "docs/org-html-themes"]
-	path = docs/org-html-themes
-	url = https://github.com/fniessen/org-html-themes.git
diff --git a/bin/tangle.sh b/bin/tangle.sh
index 472676d..7d24d42 100755
--- a/bin/tangle.sh
+++ b/bin/tangle.sh
@@ -18,7 +18,9 @@ cd $DIR
 
 for i in *.org
 do
+    if [[ $(basename $i) != "README.org" ]] ; then
         echo "--- $i ----"
         emacs --batch ./$i --load=../docs/config_tangle.el -f org-babel-tangle
+    fi
 done
 
diff --git a/docs/org-html-themes b/docs/org-html-themes
deleted file mode 160000
index 885ddd8..0000000
--- a/docs/org-html-themes
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 885ddd8451a3b1952628a52c4eeebf0a3d86d33a
diff --git a/.gitlab-ci.yml b/gitlab-ci.yml.save
similarity index 100%
rename from .gitlab-ci.yml
rename to gitlab-ci.yml.save