diff options
author | unknown <lenz@kallisto.local> | 2003-11-18 16:48:02 +0100 |
---|---|---|
committer | unknown <lenz@kallisto.local> | 2003-11-18 16:48:02 +0100 |
commit | 012d8be4e915a50eb77189b1b773cd4940d547f1 (patch) | |
tree | 0bdc2d73ca562d2af885cbed8a437f026e821e1d /isam/static.c | |
parent | 5a24433d271e6317886102448f2b60728b738940 (diff) | |
download | mariadb-git-012d8be4e915a50eb77189b1b773cd4940d547f1.tar.gz |
- 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
Diffstat (limited to 'isam/static.c')
0 files changed, 0 insertions, 0 deletions