[ci] cleanup

.circleci/make_patch

@@ -10,6 +10,8 @@
 ##
 ## License: GPLv3
 
+git add --all
+
 if [[ -z "$(git status --porcelain)" ]]; then
     git diff HEAD > "/tmp/${PUBLISH}.patch"
     echo "Changed files:"
@@ -18,6 +20,10 @@ if [[ -z "$(git status --porcelain)" ]]; then
     echo "Patch:"
     cat "/tmp/${PUBLISH}.patch"
     echo "============================"
+    if [[ -z $(grep '[^[:space:]]' "/tmp/${PUBLISH}.patch") ]]; then
+        echo "\"/tmp/${PUBLISH}.patch\" is empty while the repo has changes."
+        exit 0
+    fi
 else
     echo "No changes. Exiting."
     exit 0

.circleci/org/update_docs

@@ -10,7 +10,7 @@
 ##
 ## License: GPLv3
 
-echo_headline "Generating new layers indext file data"
+echo_headline "Generating new layers index file"
 spacedoc layers \
          -c".ci/spacedoc-cfg.edn" \
          /tmp/sdn/layers
@@ -19,6 +19,11 @@ if [ $? -ne 0 ]; then
     exit 2
 fi
 
+if [ ! -f /tmp/sdn/layers/LAYERS.sdn ]; then
+    echo " /tmp/sdn/layers/LAYERS.sdn doesn't exist"
+    exit 2
+fi
+
 echo_headline "Generating new .org files from .sdn representation"
 spacedoc orgify \
          -c".ci/spacedoc-cfg.edn" \

.circleci/shared

@@ -47,7 +47,7 @@ exit_if_no_changes () {
         exit 0
     fi
     if [[ -z $(grep '[^[:space:]]' "/tmp/${PUBLISH}.patch") ]]; then
-        echo "\"/tmp/${PUBLISH}.patch\" patch file is empty. Exiting."
+        echo "\"/tmp/${PUBLISH}.patch\" file is empty. Exiting."
         exit 0
     fi
 }