Added script for generating the png images from dots.

2015-09-17 19:47:48 +03:00
parent 1496a468c5
commit 694a1eeafa
1 changed files with 6 additions and 0 deletions
--- a/urm.sh
+++ b/urm.sh
@ -0,0 +1,6 @@
+#!/bin/bash
+for file in $(find -name *.dot); 
+do 
+    dot -Tpng $file -o $file.png; 
+done
+