mirror of
https://github.com/MariaDB/server.git
synced 2026-05-15 19:37:16 +02:00
Cleanup Docs/Makefile.am
This commit is contained in:
parent
c8f87750a4
commit
e19cc36659
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 section.Comparisons.texi
|
||||
INSTALL-BINARY mirrors.texi
|
||||
|
||||
all: $(targets) txt_files
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue