Expand verify-docs: check all src/ files for CRLF and missing final newline; fix violations

scripts/verify-docs.sh

@@ -3,6 +3,7 @@
 # produced by the currently installed cowel for every source file whose
 # version comment matches the installed version.
 # Also rejects trailing whitespace and literal tab characters in all .cow files.
+# Also rejects CRLF line terminators and missing final newlines in all src/ files.
 #
 # Usage: scripts/verify-docs.sh
 #   Run from the repository root.
@@ -12,6 +13,21 @@ set -e
 version=$(cowel --version)
 failed=0
 
+# Check all src/ files for CRLF line terminators and missing final newline.
+while IFS= read -r src; do
+  if grep -Pq $'\r' "$src" 2>/dev/null; then
+    echo "CRLF: $src contains CRLF line terminators"
+    failed=1
+  fi
+  if [ -s "$src" ]; then
+    last=$(tail -c 1 "$src" | od -An -tx1 | tr -d ' \n')
+    if [ "$last" != "0a" ]; then
+      echo "NO_FINAL_NL: $src does not end with a newline"
+      failed=1
+    fi
+  fi
+done < <(find src/ -type f)
+
 # Check all .cow sources for trailing whitespace and tab characters.
 while IFS= read -r src; do
   if grep -Pq '\t' "$src"; then

src/array-layout.bs

@@ -250,4 +250,4 @@ W.I.P.
 <pre class=biblio>
 {
 }
-</pre>
+</pre>

src/bitint-lewg-slides.cow

@@ -137,4 +137,4 @@ integral types
   \li{\em{very surprising} if \tcode{std::is_integral_v<_BitInt(N)>} was \tcode{false}}
   \li{huge wording/teaching effort to treat \tcode{_BitInt(N)} specially}
 }
-}
+}

src/constexpr-to-string.bs

@@ -293,4 +293,4 @@ Update subclause 23.4.5 [string.conversions] as follows:
         "href": "https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p2587r3.html#biblio-codesearch"
     }
 }
-</pre>
+</pre>