Merge branch 'releases'

realm · Oct 13, 2023 · 28d62fd · 28d62fd
2 parents 8478e7f + a7fcbc4
commit 28d62fd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/fix-h1s.sh b/tools/fix-h1s.sh
@@ -19,6 +19,6 @@ do
   # Make the output SEO friendly by converting the "h2" title to the proper "h1"
   sed -i -e 's|<h2\(.* class="title".*\)</h2>|<h1\1</h1>|' "$ln"
 done
-find . -iname "*.html-e" | xargs rm
+find . -iname "*.html-e" | xargs rm || true
 
 popd