From 3f651b25c74d7b7c7e56ec1ca9f8afc80a3a800c Mon Sep 17 00:00:00 2001
From: Simon Tatham <anakin@pobox.com>
Date: Tue, 13 Jan 2015 20:46:00 +0000
Subject: [PATCH] And one more whitespace fix.

It's a pain having to commit each of these separately in order to test
the script, but there we go. Should be working now.
---
 webpage.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/webpage.pl b/webpage.pl
index de2478e..6030208 100755
--- a/webpage.pl
+++ b/webpage.pl
@@ -36,7 +36,7 @@ while (<$desc>) {
         '|'.
         ' <a href="doc/%s.html#%s">manual</a> '.
         '<code>]</code><br><code>[</code>'.
-        '<a href="%s"><code>%s</code></a>'.
+        ' <a href="%s"><code>%s</code></a> '.
         '<code>]</code></td></tr>'.
         '<tr><td align="center">%s</td></tr></table></span>'.
         "\n",