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/!"); } }