- internals.texi will now be part of the source distribution. However,

   as this is a document that belongs to the mysqldoc tree, it needs to
   be copied over manually (using the Bootstrap script), before doing an
   official release distribution. The file Docs/internals.texi in this tree
   is only a dummy file to keep "make dist" happy.


Build-tools/Bootstrap:
   - overwrite the dummy internals.texi with the real one, when creating
     the release source distribution with Bootstrap
Docs/Makefile.am:
   - add internals.texi to the source distribution

1 files changed, 1 insertions, 1 deletions

diff --git a/Build-tools/Bootstrap b/Build-tools/Bootstrap
index 94446d9880f..17b15d190b0 100755
--- a/Build-tools/Bootstrap
+++ b/Build-tools/Bootstrap
@@ -276,7 +276,7 @@ unless ($opt_skip_manual)
 {
 	$msg= "Adding manual.texi";
 	&logger($msg);
-	$command= "install -m 644 $opt_docdir/Docs/{manual,reservedwords}.texi";
+	$command= "install -m 644 $opt_docdir/Docs/{internals,manual,reservedwords}.texi";
 	$command.= " $target_dir/Docs/";
 	&run_command($command, "Could not update the manual in $target_dir/Docs/!");
 }