Artifact Content
Not logged in

Artifact cdedf0f479c02eb153eefa370d0edef1e6402f0d:


#!/bin/sh
# List all the footnotes in *.txt  sorting numerically
grep '\[\^[0-9]\+\]:' *.txt|sort -n -t:  -k2.3