[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 (file)
--- 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