mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2026-05-09 08:34:28 +02:00
Code Issues Projects Releases Packages Wiki Activity

Merge here.mwagner.org:/Users/mwagner/work/bk/mysql-4.1

Browse source 
into here.mwagner.org:/Users/mwagner/work/bk/mysql-5.0
This commit is contained in:
mwagner@here.mwagner.org 2005-02-23 23:53:48 -06:00
commit 561c8d3d84
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Build-tools/Bootstrap
View file

@ -278,7 +278,7 @@ if (defined $opt_changelog)
unless ($opt_skip_manual)
{
&logger("Updating manual files");
foreach $file qw/internals manual reservedwords/
foreach $file qw/internals manual reservedwords errmsg-table cl-errmsg-table/
{
system ("bk cat $opt_docdir/Docs/$file.texi > $target_dir/Docs/$file.texi") == 0
or &abort("Could not update $file.texi in $target_dir/Docs/!");