From c03e133e8f0c200133c27681aa125fdd0b9e1dec Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Mon, 25 Apr 2005 09:32:23 +0000
Subject: [PATCH] [project @ 2005-04-25 09:32:23 by simonmar] daVinci is now
 called uDraw(Graph)

---
 ghc/docs/users_guide/profiling.xml |   10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/ghc/docs/users_guide/profiling.xml b/ghc/docs/users_guide/profiling.xml
index aadbdbb..f3529a5 100644
--- a/ghc/docs/users_guide/profiling.xml
+++ b/ghc/docs/users_guide/profiling.xml
@@ -917,14 +917,12 @@ x = nfib 25
       </footnote></para>
 
     <para>To run <command>ghcprof</command>, you need
-    <productname>daVinci</productname> installed, which can be
+    <productname>uDraw(Graph)</productname> installed, which can be
     obtained from <ulink
-    url="http://www.informatik.uni-bremen.de/daVinci/"><citetitle>The Graph
-    Visualisation Tool daVinci</citetitle></ulink>.  Install one of
+    url="http://www.informatik.uni-bremen.de/uDrawGraph/en/uDrawGraph/uDrawGraph.html"><citetitle>uDraw(Graph)</citetitle></ulink>.  Install one of
     the binary
-    distributions<footnote><para><productname>daVinci</productname> is
-    sadly not open-source :-(.</para></footnote>, and set your
-    <envar>DAVINCIHOME</envar> environment variable to point to the
+    distributions, and set your
+    <envar>UDG_HOME</envar> environment variable to point to the
     installation directory.</para>
 
     <para><command>ghcprof</command> uses an XML-based profiling log
-- 
1.7.10.4