From 8411769272b6699e76fa11a23b930e3be6b16ebf Mon Sep 17 00:00:00 2001
From: "lenz@mysql.com" <>
Date: Sat, 13 Dec 2003 04:23:07 +0100
Subject: [PATCH]  - added missing space for previous commit

---
 Build-tools/Bootstrap | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Build-tools/Bootstrap b/Build-tools/Bootstrap
index c1a416356f1..a08006e1eac 100755
--- a/Build-tools/Bootstrap
+++ b/Build-tools/Bootstrap
@@ -279,7 +279,7 @@ unless ($opt_skip_manual)
 	foreach $file qw/internals manual reservedwords/
 	{
 		$command= "bk cat $opt_docdir/Docs/$file.texi";
-		$command.= "> $target_dir/Docs/$file.texi";
+		$command.= " > $target_dir/Docs/$file.texi";
 		&run_command($command, "Could not updated $file.texi in $target_dir/Docs/!");
 	}
 }