diff options
| author | unknown <mwagner@here.mwagner.org> | 2005-02-23 23:44:13 -0600 |
|---|---|---|
| committer | unknown <mwagner@here.mwagner.org> | 2005-02-23 23:44:13 -0600 |
| commit | 6294c68ee4403065f42d05006b06d29e335e6bc4 (patch) | |
| tree | 386e1dbf7e2d591260a5b2596b6ba409311eebec /Build-tools | |
| parent | a20f2382876fdd0e36a24b666025aeaf166412d8 (diff) | |
| download | mariadb-git-6294c68ee4403065f42d05006b06d29e335e6bc4.tar.gz | |
Bootstrap:
Add new manual.texi include files
Build-tools/Bootstrap:
Add new manual.texi include files
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 8b769dca3c4..64f865362ca 100755 --- a/Build-tools/Bootstrap +++ b/Build-tools/Bootstrap @@ -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/!"); |