1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

- Rather "bk cat" the files from the mysqldoc BK tree during Bootstrap

than trying to copy them (they might have been "bk clean"ed and thus
   not available for copying)
 - Brushed up the Bootstrap online help a bit
This commit is contained in:
lenz@mysql.com
2003-12-11 10:53:28 +01:00
parent 64d7e0162c
commit 23eef56f23

View File

@ -274,11 +274,14 @@ if (defined $opt_changelog)
# #
unless ($opt_skip_manual) unless ($opt_skip_manual)
{ {
$msg= "Adding manual.texi"; $msg= "Updating manual files";
&logger($msg); &logger($msg);
$command= "install -m 644 $opt_docdir/Docs/{manual,reservedwords}.texi"; foreach $file qw/internals manual reservedwords/
$command.= " $target_dir/Docs/"; {
&run_command($command, "Could not update the manual in $target_dir/Docs/!"); $command= "bk cat $opt_docdir/Docs/$file.texi";
$command.= "> $target_dir/Docs/$file.texi";
&run_command($command, "Could not updated $file.texi in $target_dir/Docs/!");
}
} }
# #
@ -364,11 +367,13 @@ sub print_help
Usage: Bootstrap [options] <bk repository> Usage: Bootstrap [options] <bk repository>
Checks out (exports) a clear-text version of the given local BitKeeper Creates a MySQL source distribution to be used for the release builds.
It checks out (exports) a clear-text version of the given local BitKeeper
repository, creates and adds a Changelog file (if requested), adds the repository, creates and adds a Changelog file (if requested), adds the
latest manual.texi from the mysqldoc tree and builds a source distribution latest manual files from the mysqldoc BK tree and builds a source
(*.tar.gz) file. Optionally, the test suite can be run before the source distribution (*.tar.gz) file. Optionally, the test suite and the
archive is being created. distribution check can be run before the source archive is being created.
Options: Options: