-
unknown authored
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
c1e22ae2