Add documentation section to the libra web site

documentation/index.php

diff --git a/documentation/index.php b/documentation/index.php
index b3d9bbc..ee50323 100644
--- a/documentation/index.php
+++ b/documentation/index.php
@@ -1 +1,14 @@
-<?php
+<?php  																														require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/app.class.php");	require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/nav.class.php"); 	require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/menu.class.php"); 	$App 	= new App();	$Nav	= new Nav();	$Menu 	= new Menu();		include($App->getProjectCommon());    # All on the same line to unclutter the user's desktop'
+	$pageTitle 		= "Libra - Documentation";
+
+	# Add page-specific Nav bars here
+	# Format is Link text, link URL (can be http://www.someothersite.com/), target (_self, _blank), level (1, 2 or 3)
+	$Nav->addNavSeparator("Documentation", null);
+	
+	$html  = '<div id="midcolumn">';
+	$html .= file_get_contents('_index.html');
+	$html .= "</div>";
+
+	# Generate the web page
+	$App->generatePage($theme, $Menu, null, $pageAuthor, $pageKeywords, $pageTitle, $html);
+?>