From ddbc3175224787f56fe50da85ef6c6ea52cbbf68 Mon Sep 17 00:00:00 2001
From: Joel Grunbaum <joelgrun@gmail.com>
Date: Wed, 14 Jul 2021 13:56:07 +0000
Subject: [PATCH] updated dot for output executable

---
 dot.sh |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/dot.sh b/dot.sh
index 7b9eff1..e7c5a5c 100755
--- a/dot.sh
+++ b/dot.sh
@@ -1,4 +1,4 @@
 #!/bin/bash
 
-./a.out 
+./docconv
 dot -Tpng temp.dot | display

--
Gitblit v1.10.0