mirror of
https://github.com/MariaDB/server.git
synced 2025-01-17 12:32:27 +01:00
Include "manual.chm" in the source distribution, because we now use it for Windows builds unchanged.
This commit is contained in:
parent
f04c7546b6
commit
a33fdb44e5
2 changed files with 2 additions and 1 deletions
|
@ -16,7 +16,7 @@
|
|||
|
||||
noinst_SCRIPTS = Support/generate-text-files.pl
|
||||
|
||||
EXTRA_DIST = $(noinst_SCRIPTS) mysql.info INSTALL-BINARY
|
||||
EXTRA_DIST = $(noinst_SCRIPTS) manual.chm mysql.info INSTALL-BINARY
|
||||
|
||||
TXT_FILES= ../INSTALL-SOURCE ../INSTALL-WIN-SOURCE ../EXCEPTIONS-CLIENT \
|
||||
INSTALL-BINARY ../support-files/MacOSX/ReadMe.txt
|
||||
|
|
|
@ -1216,6 +1216,7 @@ EOF
|
|||
#
|
||||
echo -n "making sure specific build files are writable... "
|
||||
for file in \
|
||||
Docs/manual.chm \
|
||||
Docs/mysql.info \
|
||||
Docs/INSTALL-BINARY \
|
||||
INSTALL-SOURCE \
|
||||
|
|
Loading…
Reference in a new issue