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 /Docs/Makefile.am | |
| 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 'Docs/Makefile.am')
| -rw-r--r-- | Docs/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Docs/Makefile.am b/Docs/Makefile.am index cfe613c8e2e..f14aaace1bb 100644 --- a/Docs/Makefile.am +++ b/Docs/Makefile.am @@ -22,7 +22,7 @@ targets = manual.txt mysql.info manual.html BUILT_SOURCES = $(targets) manual_toc.html include.texi EXTRA_DIST = $(noinst_SCRIPTS) $(BUILT_SOURCES) mysqld_error.txt \ - INSTALL-BINARY reservedwords.texi + INSTALL-BINARY reservedwords.texi internals.texi all: $(targets) txt_files |