include.de.texi does not belong in repo.

BitKeeper/deleted/.del-include.de.texi~112aac21b3489888:
  Delete: Docs/include.de.texi
BitKeeper/etc/logging_ok:
  Logging to logging@openlogging.org accepted

BitKeeper/etc/logging_ok

@@ -47,3 +47,4 @@ tonu@x3.internalnet
 venu@work.mysql.com
 zak@linux.local
 jcole@mugatu.spaceapes.com
+arjen@fred.bitbike.com

Docs/include.de.texi

-@c This file is autogenerated by the Makefile
-@set mysql_version 4.0.2
-@set default_port 3306