From a58d723a9333de678f1a31a05fd3820c3905cc9e Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Tue, 13 Nov 2001 11:06:51 +0000
Subject: [PATCH] [project @ 2001-11-13 11:06:51 by simonmar] Fix daVinci URL.

---
 ghc/docs/users_guide/profiling.sgml |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
1.7.10.4