about summary refs log tree commit diff
diff options
context:
space:
mode:
authordavidak <git@davidak.de>2016-01-01T23·55+0100
committerEelco Dolstra <eelco.dolstra@logicblox.com>2016-01-05T12·28+0100
commit5eb93556f16e3e36de8ea539821eed105ee64289 (patch)
tree9f77d9c63986b4f7a340d340168972a334f1d811
parentf770b9e6c54a0e149a45c458fd6c17eead00cf98 (diff)
doc: fixes #727 broken link
-rw-r--r--doc/manual/installation/prerequisites-source.xml2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/installation/prerequisites-source.xml b/doc/manual/installation/prerequisites-source.xml
index 01d52c74030a..49036d940bd4 100644
--- a/doc/manual/installation/prerequisites-source.xml
+++ b/doc/manual/installation/prerequisites-source.xml
@@ -36,7 +36,7 @@
   distribution does not provide them.</para></listitem>
 
   <listitem><para>The <link
-  xlink:href="http://www.hpl.hp.com/personal/Hans_Boehm/gc/">Boehm
+  xlink:href="http://www.hboehm.info/gc/">Boehm
   garbage collector</link> to reduce the evaluator’s memory
   consumption (optional).  To enable it, install
   <literal>pkgconfig</literal> and the Boehm garbage collector, and