diff --git a/doc/HELP.html b/doc/HELP.html
deleted file mode 100644
index 2922efbc9b..0000000000
--- a/doc/HELP.html
+++ /dev/null
@@ -1,20 +0,0 @@
-
-
RTEMS 4.0.0 On-Line Library
-
-
-
-RTEMS On-Line Library
-
-
-The following supplement manuals do not currently exist:
-
-If you have knowledge of the processors used in the above ports and
-want to contribute to RTEMS, please contact a member of the
-RTEMS Steering Committee.
-
-
-Copyright © 1988-2004 OAR Corporation
-
diff --git a/doc/Makefile.am b/doc/Makefile.am
index cdd5b5305f..0533e0fa6f 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -8,11 +8,9 @@ SUBDIRS = tools started user bsp_howto porting develenv posix_users \
new_chapters relnotes cpu_supplement shell
if USE_HTML
-html_DATA = index.html HELP.html
+html_DATA = index.html
endif
-EXTRA_DIST = HELP.html
-
EXTRA_DIST += common/cpright.texi common/setup.texi \
common/treedef.tex common/rtems.texi.in