mirror of
https://github.com/MariaDB/server.git
synced 2026-05-02 21:25:36 +02:00
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 | ||