1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

Makefile.am:

Removed place holder for 'manual.chm'
.del-manual.chm:
  Delete: Docs/manual.chm


BitKeeper/deleted/.del-manual.chm:
  Delete: Docs/manual.chm
Docs/Makefile.am:
  Removed place holder for 'manual.chm'
This commit is contained in:
unknown
2007-11-02 13:16:23 +01:00
parent 8e51ade931
commit ae53002e6e
2 changed files with 1 additions and 15 deletions

View File

@ -13,7 +13,7 @@
# along with this program; if not, write to the Free Software
# 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
# automake only seems to take care of this automatically,

View File

@ -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.
*********************************************************