chore(scripts): clean

2023-12-31 21:07:50 +02:00
parent 9037a6a4cd
commit f88f4ec5ea
1 changed files with 0 additions and 1 deletions
@@ -245,7 +245,6 @@ jobs:
                  echo "Found doc file: ${file}"
                  ok_title="false"
                  echo "Getting the first line"
-                  cat "${file}" | head -n 10
                  h=$(head -n 1 "${file}")
                  echo "The first line is: ${h}. Checking validity..."
                  # Check if the first line has ---