From dcfdf34d7b60c987b1686cadb338fc490c4d7487 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 19 Jan 2004 14:26:22 +0000
Subject: [PATCH] We are now using the standard dot distribution of debian.

---
 helm/graphs/tools/Makefile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/helm/graphs/tools/Makefile b/helm/graphs/tools/Makefile
index 48f035454..1d945f8fd 100644
--- a/helm/graphs/tools/Makefile
+++ b/helm/graphs/tools/Makefile
@@ -1,6 +1,7 @@
 PID=
-DOT=../gv1.7c/bin/dot
-SED=sed "s/font-family:Times;//g"
+DOT=dot
+#SED=sed "s/font-family:Times;//g"
+SED=cat
 
 REQUIRES = http
 PREDICATES = mt
-- 
2.39.2