From 7324938c6eb2722cdc6f5c3d7d958094c03d96b4 Mon Sep 17 00:00:00 2001
From: runa <runa@625475ce-881a-0410-a577-b389adb331d8>
Date: Tue, 6 Feb 2007 14:22:51 +0000
Subject: [PATCH] set the whole path as title

---
 manual/documentation.php | 16 +++++++++-------
 1 file changed, 9 insertions(+), 7 deletions(-)

diff --git a/manual/documentation.php b/manual/documentation.php
index 457be365f..1518a78dd 100644
--- a/manual/documentation.php
+++ b/manual/documentation.php
@@ -568,18 +568,20 @@ $menu = array('Getting started' =>
                                 ))
             );
 
+$title = '';
 if (!empty($_REQUEST['index'])){
 	$ex = explode(".",$_REQUEST["index"]);
 	$paths = array2path($menu);
-	if( ! isset($paths[$ex[0]])){
-		$title = '';
-	}else{
-		$title = " / ". $paths[$ex[0]];
+	if( isset($paths[$ex[0]])){
+		$currIndex = '';
+		for($i=0; $i<count($ex); $i++){
+			if ($currIndex) {$currIndex.=".";}
+			$currIndex .= $ex[$i]; 
+			if (!isset($paths[$currIndex])){ break; }
+			$title .= " - ". $paths[$currIndex];
+		}
 	}
-}else{
-	$title = '';
 }
-
 include("top.php");
 
 ?>