diff -r 4ef2f77a4652 -r 15e6335ff1d4 diagrams/scripts/find_diagrams.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/diagrams/scripts/find_diagrams.sh	Thu Apr 24 02:56:34 2008 +0000
@@ -0,0 +1,3 @@
+grep -o '\\\mathfig{[0-9\. ]*}{[a-zA-z0-9\/_-]*}' $1 | sed -e 's/\\\mathfig{.*{\(.*\)/\1/' | sed -e 's/}//g' >> diagrams.list
+grep -o '\\\placefig{[0-9\. ]*}{[a-zA-z0-9\/_-]*}' $1 | sed -e 's/\\\placefig{.*{\(.*\)/\1/' | sed -e 's/}//g' >> diagrams.list
+grep -o '\\\rotatemathfig{ [0-9\.]*}{[0-9\.-]*}{[a-zA-z0-9\/_-]*}' $1 | sed -e 's/\\\rotatemathfig{.*{\(.*\)/\1/' | sed -e 's/}//g' >> diagrams.list