Add Optimizations/*/*.thy to the dependency graph

Author: Mark Utting

build_all.sh

@@ -2,6 +2,6 @@
 
 isabelle build -vD . -P web
 
-# build dependency graph
-python bin/dependency_graph.py [A-S]*/*.thy
+# build dependency graph (ignoring Test/ and archive/ folders)
+python bin/dependency_graph.py [A-S]*/*.thy Optimizations/*/*.thy
 dot -Tpdf -O dependencies.dot