diff options
| author | lenz@mysql.com <> | 2003-12-13 04:23:07 +0100 |
|---|---|---|
| committer | lenz@mysql.com <> | 2003-12-13 04:23:07 +0100 |
| commit | 8411769272b6699e76fa11a23b930e3be6b16ebf (patch) | |
| tree | c1d6b6c4d12240499240698a95227d3408e5b377 /Build-tools | |
| parent | 1483e8d3720b7370d56d816ba5d09b526ac10b54 (diff) | |
| download | mariadb-git-8411769272b6699e76fa11a23b930e3be6b16ebf.tar.gz | |
- added missing space for previous commit
Diffstat (limited to 'Build-tools')
| -rwxr-xr-x | Build-tools/Bootstrap | 2 |
1 files changed, 1 insertions, 1 deletions
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/!"); } } |