diff --git a/doc/BAD.html b/doc/BAD.html
deleted file mode 100644
index 7be09d069a..0000000000
--- a/doc/BAD.html
+++ /dev/null
@@ -1,22 +0,0 @@
-
-
RTEMS 4.0.0 On-Line Library
-
-
-
-RTEMS On-Line Library
-
-
-The following manuals do not currently exist in PDF:
-
-These can not be generated due to a bug in the texi2pdf processor
-that results in variables not being expanded in the @uref command.
-This has been reported to the maintainers. If you are interested
-in fixing this or have a fix for this bug, please contact
-rtems@OARcorp.com.
-
-
-Copyright © 1988-2000 OAR Corporation
-