From caf9e32c8526bbc9c7c3f18a30cc45118c9aae7c Mon Sep 17 00:00:00 2001
From: zYne <zYne@625475ce-881a-0410-a577-b389adb331d8>
Date: Sun, 25 Feb 2007 19:30:29 +0000
Subject: [PATCH]

---
 manual/documentation2.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/manual/documentation2.php b/manual/documentation2.php
index 40da68a14..0ad5dad79 100644
--- a/manual/documentation2.php
+++ b/manual/documentation2.php
@@ -2,7 +2,7 @@
 include("top.php"); 
 require_once("highlight.php");
 error_reporting(E_ALL);
-set_include_path(dirname(__FILE__) . '/../vendor/');
+set_include_path(dirname(dirname(__FILE__)) . DIRECTORY_SEPARATOR . 'vendor/');
 
 $f = file_get_contents('menu.php');
 $a = explode(PHP_EOL, $f);