mirror of
https://github.com/MariaDB/server.git
synced 2026-01-06 05:22:24 +03:00
- replaced manual.texi with a dummy placeholder file (manual.texi is
now maintained in a separate "mysqldoc" BK source tree) - it will be replaced with the correct manual.texi when building the official source distribution - fixed automake error about reservedwords.texi by moving it to EXTRA_DIST instead
This commit is contained in:
@@ -16,12 +16,12 @@ TEXINFO_TEX = Support/texinfo.tex
|
||||
|
||||
noinst_SCRIPTS = Support/texi2html Support/generate-text-files.pl \
|
||||
Support/generate-mirror-listing.pl
|
||||
info_TEXINFOS = manual.texi reservedwords.texi
|
||||
info_TEXINFOS = manual.texi
|
||||
|
||||
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
|
||||
EXTRA_DIST = $(noinst_SCRIPTS) $(BUILT_SOURCES) mysqld_error.txt INSTALL-BINARY reservedwords.texi
|
||||
|
||||
all: $(targets) txt_files
|
||||
|
||||
|
||||
55666
Docs/manual.texi
55666
Docs/manual.texi
File diff suppressed because it is too large
Load Diff
Reference in New Issue
Block a user