<?php /* Download page Copyright (C) 2015 Francis Rowe <info@gluglug.org.uk> This program is free software: you can redistribute it and/or modify it under the terms of the GNU Affero General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for more details. You should have received a copy of the GNU Affero General Public License along with this program. If not, see <http://www.gnu.org/licenses/>. */ header('Content-type: text/html; charset=utf-8'); ob_start(); include_once "../common/variables.php"; include_once "../common/functions.php"; ?> <!DOCTYPE html> <html> <head> <style type="text/css"> <?php echo miniCss(file_get_contents("../common/css/main.css")); ?> </style> <title><?php echo gettext("GPG signing key"); ?></title> </head> <body> <div> <h1><?php echo gettext("GPG signing key"); ?></h1> <p> <?php echo $lbProjectGpgKeyInfo; ?> </p> <p> <?php echo gettext("Download the key:"); ?><br/> $ <b>gpg --recv-keys <?php echo $lbProjectGpgKeyID; ?></b> </p> <p> <?php echo gettext("Download the SHA512 manifest and its corresponding GPG signature, for the release that you are using."); ?> <?php echo gettext("Put the src, util and docs archives in the same directory as the SHA512 manifest file."); ?> <?php echo gettext("Put your ROM image archives under <i>rom/</i> in that directory, and crossgcc tarballs under <i>crossgcc/</i>."); ?> </p> <p> <?php echo gettext("After you've done this, verify the SHA512 checksums:"); ?><br/> $ <b>sha512sum -c sha512sum.txt</b> </p> <p> <?php echo gettext("You can verify the downloaded SHA512 manifest as follows:"); ?><br/> $ <b>gpg --verify sha512sum.txt.sig</b> </p> <p> <a href="../"><?php echo gettext("Back to home page"); ?></a> </p> </div> <?php include "../common/footer.php"; ?> </body> </html> <?php $strHtml = ob_get_clean(); echo miniHtml($strHtml); ?>