All content available under CC0 1.0 (public domain). Send comments and corrections to drummyfish at disroot dot org.
"
echo "$HEADER
" > html/$FILELIST
@@ -26,6 +27,20 @@ for f in *.md; do
echo $FOOTER >> $f2
done
+# this uses a C program to mark dead links, you can optionally remove this
+gcc -O3 mark_dead_links.c -o mark_dead_links
+cd html
+cp ../mark_dead_links .
+
+for f in *.html; do
+ cat $f | ./mark_dead_links > tmp
+ mv tmp $f
+done
+
+rm mark_dead_links
+cd ..
+# mark dead links end
+
echo "$HEADERGo to main page.$FOOTER" >> html/index.html
echo "