From: simonmar <unknown>
Date: Mon, 25 Apr 2005 09:32:23 +0000 (+0000)
Subject: [project @ 2005-04-25 09:32:23 by simonmar]
X-Git-Tag: Initial_conversion_from_CVS_complete~679
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=c03e133e8f0c200133c27681aa125fdd0b9e1dec;p=ghc-hetmet.git

[project @ 2005-04-25 09:32:23 by simonmar]
daVinci is now called uDraw(Graph)
---

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