Commit 84117692 authored by lenz@mysql.com's avatar lenz@mysql.com

- added missing space for previous commit

parent 1483e8d3
...@@ -279,7 +279,7 @@ unless ($opt_skip_manual) ...@@ -279,7 +279,7 @@ unless ($opt_skip_manual)
foreach $file qw/internals manual reservedwords/ foreach $file qw/internals manual reservedwords/
{ {
$command= "bk cat $opt_docdir/Docs/$file.texi"; $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/!"); &run_command($command, "Could not updated $file.texi in $target_dir/Docs/!");
} }
} }
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment