From: Michael Hertling Date: Thu, 21 Jun 2012 23:58:05 GMT Subject: Re: Missing hyperlinks in HTML docs Message-ID: <4FE3B50D.2070200@online.de> In-Reply-To: <20120621062410.GB19485@sigill.intra.peff.net> On 06/21/2012 08:24 AM, Jeff King wrote: > The patch below should solve it. Yes, it does. Many thanks for your quick reply and the patch. Regards, Michael