From: simonmar <unknown>
Date: Tue, 13 Nov 2001 11:06:51 +0000 (+0000)
Subject: [project @ 2001-11-13 11:06:51 by simonmar]
X-Git-Tag: Approximately_9120_patches~574
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=a58d723a9333de678f1a31a05fd3820c3905cc9e;p=ghc-hetmet.git

[project @ 2001-11-13 11:06:51 by simonmar]
Fix daVinci URL.
---

diff --git a/ghc/docs/users_guide/profiling.sgml b/ghc/docs/users_guide/profiling.sgml
index 4413eb2..e89a498 100644
--- a/ghc/docs/users_guide/profiling.sgml
+++ b/ghc/docs/users_guide/profiling.sgml
@@ -371,7 +371,7 @@ x = nfib 25
     <para>To run <command>ghcprof</command>, you need
     <productname>daVinci</productname> installed, which can be
     obtained from <ulink
-    url="http://www.tzi.de/~davinci/"><citetitle>The Graph
+    url="http://www.informatik.uni-bremen.de/daVinci/"><citetitle>The Graph
     Visualisation Tool daVinci</citetitle></ulink>.  Install one of
     the binary
     distributions<footnote><para><productname>daVinci</productname> is