1 files changed, 0 insertions, 107 deletions
diff --git a/Docs/manual.de.texi b/Docs/manual.de.texi
deleted file mode 100644
index 902a9496bbb..00000000000
--- a/Docs/manual.de.texi
+++ /dev/null
@@ -1,107 +0,0 @@
-\input texinfo  @c -*-texinfo-*-
-@c
-@c *********************************************************
-@c
-@c This is a dummy placeholder file for manual.de.texi in the
-@c MySQL source trees.
-@c
-@c Note, that the manual has been moved into a separate
-@c BitKeeper source tree named "mysqldoc" - do not attempt
-@c to add NEWS entries or documentation to this file! All
-@c changes to the manual should be done in the mysqldoc tree.
-@c
-@c See http://www.mysql.com/doc/en/Installing_source_tree.html
-@c for information about how to work with BitKeeper source trees.
-@c
-@c This dummy file is being replaced with the real manual from the
-@c mysqldoc tree when building the official source distribution.
-@c
-@c Please e-mail docs@mysql.com for more information or if
-@c you are interested in doing a translation.
-@c
-@c *********************************************************
-@c
-@c %**start of header
-
-@setfilename mysql.de.info
-
-@c We want the types in the same index
-@syncodeindex tp fn
-
-@c Get version information. This file is generated by the Makefile!!
-@include include.texi
-
-@ifclear tex-debug
-@c This removes the black squares in the right margin
-@finalout
-@end ifclear
-
-@c Set background for HTML
-@set _body_tags BGCOLOR=silver TEXT=#000000 LINK=#101090 VLINK=#7030B0
-@c Set some style elements for the manual in HTML form. 'suggested'
-@c natural language colors: aqua, black, blue, fuchsia, gray, green,
-@c lime, maroon, navy, olive, purple, red, silver, teal, white, and
-@c yellow. From Steeve Buehler <ahr@YogElements.com>
-@set _extra_head <style> code {color:purple} tt {color:green} samp {color:navy} pre {color:maroon} </style>
-
-@settitle Dummy MySQL Reference Manual for version @value{mysql_version}.
-
-@c We want single-sided heading format, with chapters on new pages. To
-@c get double-sided format change 'on' below to 'odd'
-@setchapternewpage on
-
-@paragraphindent 0
-
-@c %**end of header
-
-@ifinfo
-@format
-START-INFO-DIR-ENTRY
-* mysql: (mysql).               MySQL documentation.
-END-INFO-DIR-ENTRY
-@end format
-@end ifinfo
-
-@titlepage
-@sp 10
-@center @titlefont{Empty placeholder for the MySQL Reference Manual}
-@sp 10
-@center Copyright @copyright{} 1995-2002 MySQL AB
-@c blank page after title page makes page 1 be a page front.
-@c also makes the back of the title page blank.
-@page
-@end titlepage
-
-@c This should be added. The HTML conversion also needs a MySQL version
-@c number somewhere.
-
-@iftex
-@c change this to double if you want formatting for double-sided
-@c printing
-@headings single
-
-@oddheading @thischapter @| @| @thispage
-@evenheading @thispage @| @| MySQL Technical Reference for Version @value{mysql_version}
-
-@end iftex
-
-@node Top, (dir), (dir), (dir)
-
-@ifinfo
-This is an empty placeholder file for the MySQL manual.
-
-The MySQL manual is now maintained in a separate BitKeeper source tree!
-Please see @url{http://www.mysql.com/doc/en/Installing_source_tree.html}
-for more info on how to work with BitKeeper.
-
-Please do not attempt to edit this file to add NEWS entries or to add
-documentation! Use the one in the @code{mysqldoc} BK tree instead.
-
-This file will be replaced with the current @code{manual.de.texi} when building
-the official source distribution.
-
-You can find a specific manual for any older version of MySQL
-in the binary or source distribution for that version.
-@end ifinfo
-
-@bye