diff options
| author | davidak <git@davidak.de> | 2016-01-01T23·55+0100 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2016-01-05T12·28+0100 |
| commit | 5eb93556f16e3e36de8ea539821eed105ee64289 (patch) | |
| tree | 9f77d9c63986b4f7a340d340168972a334f1d811 | |
| parent | f770b9e6c54a0e149a45c458fd6c17eead00cf98 (diff) | |
doc: fixes #727 broken link
| -rw-r--r-- | doc/manual/installation/prerequisites-source.xml | 2 |
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 |