mirror of
https://github.com/MariaDB/server.git
synced 2026-01-06 05:22:24 +03:00
- re-added missing reservedwords.texi (disappeared after last merge with
3.23.x) and removed mirrors.texi again
This commit is contained in:
@@ -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 mirrors.texi
|
||||
INSTALL-BINARY reservedwords.texi
|
||||
|
||||
all: $(targets) txt_files
|
||||
|
||||
|
||||
Reference in New Issue
Block a user