<?php | |
set_include_path($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common" . PATH_SEPARATOR . $_SERVER['DOCUMENT_ROOT'] . "/projects" . PATH_SEPARATOR . get_include_path()); | |
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' | |
#***************************************************************************** | |
# | |
# template.php | |
# | |
# Author: Igor Vinnykov | |
# Date: 2008-07-01 | |
# | |
# Description: Autogenerated for eclipse.org site pages from Eclipse IDE help | |
# | |
# | |
#**************************************************************************** | |
# | |
# Begin: page-specific settings. Change these. | |
$pageTitle = "Eclipse Subversive - Documentation"; | |
$pageKeywords = "Subversive, Subversion, SVN, Team Provider, documentation, user guid"; | |
$pageAuthor = "Igor Vinnykov"; | |
include("_projectCommon.php"); # All on the same line to unclutter the user's desktop' | |
# Paste your HTML content between the EOHTML markers! | |
$html = <<<EOHTML | |
<div id="midcolumn"> | |
<h3>Subversive update instructions (Eclipse.org version installed)</h3> | |
<p>Subversive can be simply updated from within Eclipse using update manager. To update Subversive:</p> | |
<ol> | |
<li> | |
Ensure you have enabled Subversive and Subversive Connectors update sites at <i>'Preferences > Install/Update > Available Software Sites'</i> | |
</li> | |
<li> | |
Select menu item <i>'Help > Check for Updates'</i> | |
<br/><br/><img border="0" src="../../images/find_and_update.png" alt="Find and update"/><br/><br/> | |
</li> | |
<li> | |
Then mark software you wanted to update and follow through update wizard steps. | |
<br/><br/><img border="0" src="../../images/updates.png" alt="Update manager"/><br/><br/> | |
</li> | |
</ol> | |
<br/> | |
<br/> | |
</div> | |
EOHTML; | |
# Generate the web page | |
$App->generatePage($theme, $Menu, $Nav, $pageAuthor, $pageKeywords, $pageTitle, $html); | |
?> |