From f8935353aa0323a681f93edc37b63c832aeb2ff1 Mon Sep 17 00:00:00 2001
From: Gabor Hojtsy <goba@php.net>
Date: Fri, 27 Jul 2001 12:47:15 +0000
Subject: [PATCH] /pear redirects to the manual, as /include, according to our
 standards

---
 pear/index.php | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/pear/index.php b/pear/index.php
index bfb822cac..e30c76fda 100644
--- a/pear/index.php
+++ b/pear/index.php
@@ -1,2 +1,16 @@
-<?php header("Location: http://pear.php.net/"); ?>
+<?php
 
+// This page tries to find the manual page for PEAR
+// because people can access that page by using
+// http://www.php.net/pear as a REQUEST_URI
+
+require_once 'prepend.inc';
+require_once 'manual-lookup.inc';
+
+$file = find_manual_page(default_language(), "pear");
+
+if ($file) {
+    header("Location: $file");
+} else { header("Location: /"); }
+
+?>
\ No newline at end of file