mirror of
https://github.com/MariaDB/server.git
synced 2025-01-17 20:42:30 +01:00
Merge mysql.com:/home/kent/bk/bug25205/mysql-5.0-build
into mysql.com:/home/kent/bk/bug25205/mysql-5.1-build
This commit is contained in:
commit
741c9b4f70
2 changed files with 1 additions and 15 deletions
|
@ -13,7 +13,7 @@
|
||||||
# along with this program; if not, write to the Free Software
|
# along with this program; if not, write to the Free Software
|
||||||
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
|
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
|
||||||
|
|
||||||
EXTRA_DIST = manual.chm mysql.info INSTALL-BINARY
|
EXTRA_DIST = mysql.info INSTALL-BINARY
|
||||||
|
|
||||||
# make sure that "make install" installs the info page, too
|
# make sure that "make install" installs the info page, too
|
||||||
# automake only seems to take care of this automatically,
|
# automake only seems to take care of this automatically,
|
||||||
|
|
|
@ -1,14 +0,0 @@
|
||||||
|
|
||||||
*********************************************************
|
|
||||||
|
|
||||||
This is a dummy placeholder file for "manual.chm" in the
|
|
||||||
MySQL source trees.
|
|
||||||
|
|
||||||
Note, that the documentation has been moved into a separate
|
|
||||||
BitKeeper source tree named "mysqldoc" - do not attempt to edit this
|
|
||||||
file! All changes to it should be done in the mysqldoc tree.
|
|
||||||
|
|
||||||
This dummy file is being replaced with the actual file from the
|
|
||||||
mysqldoc tree when building the official source distribution.
|
|
||||||
|
|
||||||
*********************************************************
|
|
Loading…
Reference in a new issue