chore(scripts): fix more

2023-12-31 20:55:32 +02:00
parent 005244ee5c
commit 6b2d77f8d0
3 changed files with 34 additions and 14 deletions
@@ -246,8 +246,9 @@ jobs:
                  echo "Found doc file: ${file}"
                  ok_title="false"
                  echo "Getting the first line"
+                  head -n 1 "${file}"
                  h=$(head -n 1 "${file}")
-                  echo "The first line is: ${h}"
+                  echo "The first line is: ${h}. Checking validity..."
                  # Check if the first line has ---
                  if [[ "${h}" == "---" ]]; then
                    echo "First line is ---, continuing..."