| <?php |
| |
| # Set the theme for your project's web pages. |
| # See the Committer Tools "How Do I" for list of themes |
| # https://dev.eclipse.org/committers/ |
| # Optional: defaults to system theme |
| $theme = "Nova"; |
| |
| # Define your project-wide Nav bars here. |
| # Format is Link text, link URL (can be http://www.someothersite.com/), target (_self, _blank), level (1, 2 or 3) |
| # these are optional |
| $Nav->addCustomNav("About This Project", "/projects/project_summary.php?projectid=modeling.emft.henshin", "_self", 2); |
| $Nav->addNavSeparator("Henshin", "index.php"); |
| $Nav->addCustomNav("Installation", "install.php", "_self", 2); |
| $Nav->addCustomNav("Downloads", "downloads.php", "_self", 2); |
| $Nav->addCustomNav("Examples", "examples.php", "_self", 2); |
| $Nav->addCustomNav("Publications", "publications.php", "_self", 2); |
| $Nav->addCustomNav("Projects", "projects.php", "_self", 2); |
| $Nav->addCustomNav("Contributors", "contributors.php", "_self", 2); |
| #$Nav->addCustomNav("Wiki", "http://wiki.eclipse.org/Henshin", "_self", 2); |
| $Nav->addCustomNav("Mailing List", "https://dev.eclipse.org/mailman/listinfo/henshin-dev", "_self", 2); |
| $Nav->addCustomNav("Javadoc", "http://download.eclipse.org/modeling/emft/henshin/javadoc/nightly/", "_self", 2); |
| $Nav->addCustomNav("FAQ", "http://wiki.eclipse.org/Henshin_FAQ", "_self", 2);
|
| ?> |