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