diff --git a/core/html_api.php b/core/html_api.php
index 3a524f6bf8..8b4f377b4b 100644
--- a/core/html_api.php
+++ b/core/html_api.php
@@ -6,7 +6,7 @@
 	# See the README and LICENSE files for details
 
 	# --------------------------------------------------------
-	# $Id: html_api.php,v 1.128 2004-08-28 12:35:58 vboctor Exp $
+	# $Id: html_api.php,v 1.129 2004-08-28 12:51:54 vboctor Exp $
 	# --------------------------------------------------------
 
 	###########################################################################
@@ -531,20 +531,20 @@ function print_manage_menu( $p_page='' ) {
 		$t_manage_user_page 		= 'manage_user_page.php';
 		$t_manage_project_menu_page = 'manage_proj_page.php';
 		$t_manage_custom_field_page = 'manage_custom_field_page.php';
-		$t_documentation_page 		= 'documentation_page.php';
+		# $t_documentation_page 		= 'documentation_page.php';
 
 		switch ( $p_page ) {
 			case $t_manage_user_page				: $t_manage_user_page 				= ''; break;
 			case $t_manage_project_menu_page: $t_manage_project_menu_page 	= ''; break;
 			case $t_manage_custom_field_page: $t_manage_custom_field_page 	= ''; break;
-			case $t_documentation_page		: $t_documentation_page 		= ''; break;
+			# case $t_documentation_page		: $t_documentation_page 		= ''; break;
 		}
 
 		PRINT '<br /><div align="center">';
 			print_bracket_link( $t_manage_user_page, lang_get( 'manage_users_link' ) );
 			print_bracket_link( $t_manage_project_menu_page, lang_get( 'manage_projects_link' ) );
 			print_bracket_link( $t_manage_custom_field_page, lang_get( 'manage_custom_field_link' ) );
-			print_bracket_link( $t_documentation_page, lang_get( 'documentation_link' ) );
+			# print_bracket_link( $t_documentation_page, lang_get( 'documentation_link' ) );
 		PRINT '</div>';
 	}
 
@@ -590,27 +590,6 @@ function print_doc_menu( $p_page='' ) {
 		}
 	}
 
-	# --------------------
-	# Print the menu for the management docs section
-	# $p_page specifies the current page name so it's link can be disabled
-	function print_manage_doc_menu( $p_page='' ) {
-		$t_path = config_get( 'path' ).'doc/';
-		$t_documentation_page = 'documentation_page.php';
-
-		switch ( $p_page ) {
-			case $t_documentation_page: $t_documentation_page = ''; break;
-		}
-
-		PRINT '<br /><div align="center">';
-			print_bracket_link( $t_documentation_page, lang_get( 'system_info_link' ) );
-			print_bracket_link( $t_path.'ChangeLog', 'ChangeLog' );
-			print_bracket_link( $t_path.'README', 'README' );
-			print_bracket_link( $t_path.'INSTALL', 'INSTALL' );
-			print_bracket_link( $t_path.'UPGRADING', 'UPGRADING' );
-			print_bracket_link( $t_path.'CUSTOMIZATION', 'CUSTOMIZATION' );
-		PRINT '</div>';
-	}
-
 	# --------------------
 	# Print the menu for the summary section
 	# $p_page specifies the current page name so it's link can be disabled
diff --git a/documentation_page.php b/documentation_page.php
deleted file mode 100644
index d87ac38ac9..0000000000
--- a/documentation_page.php
+++ /dev/null
@@ -1,46 +0,0 @@
-<?php
-	# Mantis - a php based bugtracking system
-	# Copyright (C) 2000 - 2002  Kenzaburo Ito - kenito@300baud.org
-	# Copyright (C) 2002 - 2004  Mantis Team   - mantisbt-dev@lists.sourceforge.net
-	# This program is distributed under the terms and conditions of the GPL
-	# See the README and LICENSE files for details
-
-	# --------------------------------------------------------
-	# $Id: documentation_page.php,v 1.21 2004-08-08 13:53:08 prichards Exp $
-	# --------------------------------------------------------
-?>
-<?php require_once( 'core.php' ) ?>
-<?php
-	access_ensure_global_level( ADMINISTRATOR );
-?>
-<?php 
-	html_page_top1();
-
-	# get the phpinfo() content
-	ob_start();
-	phpinfo( INFO_GENERAL + INFO_CONFIGURATION + INFO_MODULES );
-	$content = ob_get_contents();
-	ob_end_clean();
-
-	# get the <style> block
-	$style = preg_replace( '|^.*(<style.*</style>).*$|si', '\1', $content );
-	# add '.phpinfo' before each style definition
-	$style = preg_replace( '/(.*\{.*\}.*)/', '.phpinfo \1', $style );
-	# output the <style> block
-	echo $style;
-
-	html_page_top2();
-
-	print_manage_menu( 'documentation_page.php' );
-
-	print_manage_doc_menu( 'documentation_page.php' );
-
-	echo '<br />';
-
-	# output the contents of the <body> block inside a div with class phpinfo
-	echo '<div class="phpinfo">';
-	$body = preg_replace( '|^.*<body>(.*)</body>.*$|si', '\1', $content );
-	echo $body;
-	echo '</div>';
-?>
-<?php html_page_bottom1( __FILE__ ) ?>