mirror of
https://github.com/MariaDB/server.git
synced 2026-04-23 00:35:32 +02:00
- re-added missing reservedwords.texi (disappeared after last merge with
3.23.x) and removed mirrors.texi again
This commit is contained in:
parent
0463b01dc8
commit
b4b2ce0483
1 changed files with 1 additions and 1 deletions
|
|
@ -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
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue