diagrams/scripts/find_diagrams.sh
changeset 8 15e6335ff1d4
equal deleted inserted replaced
7:4ef2f77a4652 8:15e6335ff1d4
       
     1 grep -o '\\\mathfig{[0-9\. ]*}{[a-zA-z0-9\/_-]*}' $1 | sed -e 's/\\\mathfig{.*{\(.*\)/\1/' | sed -e 's/}//g' >> diagrams.list
       
     2 grep -o '\\\placefig{[0-9\. ]*}{[a-zA-z0-9\/_-]*}' $1 | sed -e 's/\\\placefig{.*{\(.*\)/\1/' | sed -e 's/}//g' >> diagrams.list
       
     3 grep -o '\\\rotatemathfig{ [0-9\.]*}{[0-9\.-]*}{[a-zA-z0-9\/_-]*}' $1 | sed -e 's/\\\rotatemathfig{.*{\(.*\)/\1/' | sed -e 's/}//g' >> diagrams.list