From 5eb93556f16e3e36de8ea539821eed105ee64289 Mon Sep 17 00:00:00 2001 From: davidak Date: Sat, 2 Jan 2016 00:55:01 +0100 Subject: [PATCH] doc: fixes #727 broken link --- doc/manual/installation/prerequisites-source.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/manual/installation/prerequisites-source.xml b/doc/manual/installation/prerequisites-source.xml index 01d52c740..49036d940 100644 --- a/doc/manual/installation/prerequisites-source.xml +++ b/doc/manual/installation/prerequisites-source.xml @@ -36,7 +36,7 @@ distribution does not provide them. The Boehm + xlink:href="http://www.hboehm.info/gc/">Boehm garbage collector to reduce the evaluator’s memory consumption (optional). To enable it, install pkgconfig and the Boehm garbage collector, and