chore(scripts): fix more

2023-12-31 20:59:42 +02:00
parent 6b2d77f8d0
commit 51e54f3d88
2 changed files with 2 additions and 2 deletions
@@ -246,7 +246,7 @@ jobs:
                  echo "Found doc file: ${file}"
                  ok_title="false"
                  echo "Getting the first line"
-                  head -n 1 "${file}"
+                  cat "${file}" | head -n 10
                  h=$(head -n 1 "${file}")
                  echo "The first line is: ${h}. Checking validity..."
                  # Check if the first line has ---