mirror of
https://github.com/MariaDB/server.git
synced 2026-04-26 18:25:30 +02:00
Include "manual.chm" in the source distribution, because we now use it for Windows builds unchanged.
This commit is contained in:
parent
9a05a2d167
commit
dbe0b91e31
2 changed files with 2 additions and 1 deletions
|
|
@ -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…
Add table
Add a link
Reference in a new issue