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