From 694a1eeafa9c7e1f2e0464cee7ff9796ad0c4b81 Mon Sep 17 00:00:00 2001 From: Ilkka Seppala Date: Thu, 17 Sep 2015 19:47:48 +0300 Subject: [PATCH] Added script for generating the png images from dots. --- urm.sh | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 urm.sh diff --git a/urm.sh b/urm.sh new file mode 100644 index 000000000..430ecd4bf --- /dev/null +++ b/urm.sh @@ -0,0 +1,6 @@ +#!/bin/bash +for file in $(find -name *.dot); +do + dot -Tpng $file -o $file.png; +done +