mirror of
https://github.com/MariaDB/server.git
synced 2025-01-17 12:32:27 +01:00
012d8be4e9
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 |
||
---|---|---|
.. | ||
Bootstrap | ||
cvs-sanity-check | ||
Do-all-build-steps | ||
Do-compile | ||
Do-create-perl-rpms | ||
Do-linux-build | ||
Do-local-patch-file | ||
Do-patch-file | ||
Do-pkg | ||
Do-rpm | ||
logger.pm | ||
mysql-copyright | ||
mysql-copyright-2 | ||
newest |