diff --git a/collects/help/web-root/conf/forbidden.html b/collects/help/web-root/conf/forbidden.html deleted file mode 100644 index cb921d33dd..0000000000 --- a/collects/help/web-root/conf/forbidden.html +++ /dev/null @@ -1,8 +0,0 @@ - -
The Help Desk server could not verify that you have permissions to access the requested document.
-Help Desk home - - - diff --git a/collects/help/web-root/conf/not-found.html b/collects/help/web-root/conf/not-found.html deleted file mode 100644 index 541fee37d1..0000000000 --- a/collects/help/web-root/conf/not-found.html +++ /dev/null @@ -1,8 +0,0 @@ - -The file you were looking for was not found on the Help Desk server.
-Help Desk home - - - diff --git a/collects/help/web-root/conf/passwords-refresh.html b/collects/help/web-root/conf/passwords-refresh.html deleted file mode 100644 index ab4731ad71..0000000000 --- a/collects/help/web-root/conf/passwords-refresh.html +++ /dev/null @@ -1,8 +0,0 @@ - -Passwords will reload for the next authentication request.
-Help Desk home - - - diff --git a/collects/help/web-root/conf/protocol-error.html b/collects/help/web-root/conf/protocol-error.html deleted file mode 100644 index f2eaffc5b6..0000000000 --- a/collects/help/web-root/conf/protocol-error.html +++ /dev/null @@ -1,8 +0,0 @@ - -The browser sent a malformed request to the Help Desk server.
-Help Desk home - - - diff --git a/collects/help/web-root/conf/servlet-error.html b/collects/help/web-root/conf/servlet-error.html deleted file mode 100644 index 06a05eecc6..0000000000 --- a/collects/help/web-root/conf/servlet-error.html +++ /dev/null @@ -1,13 +0,0 @@ - -A Help Desk servlet terminated abnormally.
- Please use the bug report link in Help Desk to
- report the problem. Alternatively, you may send a
- bug report via the Web at
- http://bugs.plt-scheme.org/.
-
Fresh copies of Help Desk servlets will now be (re)loaded from disk.
-Help Desk home - - -