<?php
/**
 * Copyright (c) 2020 Eclipse Foundation and others.
 *
 * This program and the accompanying materials are made
 * available under the terms of the Eclipse Public License 2.0
 * which is available at https://www.eclipse.org/legal/epl-2.0/
 *
 * Contributors:
 *   Wayne Beaton (Eclipse Foundation)
 *
 * SPDX-License-Identifier: EPL-2.0
 */
require_once (dirname(__FILE__) . "/../eclipse.org-common/system/app.class.php");

$App = new App();
$Theme = $App->getThemeClass();

include ($App->getProjectCommon());

$pageTitle = "Specification Non Assertion Covenant";
$Theme->setPageTitle($pageTitle);
$Theme->setPageKeywords("specifications, non assert");
$Theme->setPageAuthor("Wayne Beaton");

ob_start();
include ("content/en_efsp_non_assert.php");
$html = ob_get_clean();

$Theme->setHtml($html);
$Theme->setNav($Nav);
$Theme->generatePage();