diagrams/scripts/find_diagrams.sh
author kevin@6e1638ff-ae45-0410-89bd-df963105f760
Tue, 13 Oct 2009 21:32:06 +0000
changeset 122 d4e6bf589ebe
parent 8 15e6335ff1d4
permissions -rwxr-xr-x
...
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     1
grep -o '\\\mathfig{[0-9\. ]*}{[a-zA-z0-9\/_-]*}' $1 | sed -e 's/\\\mathfig{.*{\(.*\)/\1/' | sed -e 's/}//g' >> diagrams.list
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     2
grep -o '\\\placefig{[0-9\. ]*}{[a-zA-z0-9\/_-]*}' $1 | sed -e 's/\\\placefig{.*{\(.*\)/\1/' | sed -e 's/}//g' >> diagrams.list
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     3
grep -o '\\\rotatemathfig{ [0-9\.]*}{[0-9\.-]*}{[a-zA-z0-9\/_-]*}' $1 | sed -e 's/\\\rotatemathfig{.*{\(.*\)/\1/' | sed -e 's/}//g' >> diagrams.list