pnas/diagrams/externalization-jobs.sh
author Scott Morrison <scott@tqft.net>
Sun, 23 Jan 2011 13:30:25 -0800
changeset 695 1d99796a73f3
parent 676 a9b9094e3b9c
permissions -rwxr-xr-x
writing about string diagrams

grep -o beginpgfgraphicnamed\{[0-9A-Za-z-]*\} < *.tex | sed -e 's/beginpgfgraphicnamed{//' | sed -e 's/}//'