index.php 2.2 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374
  1. <?php
  2. /*
  3. Download page
  4. Copyright (C) 2015 Leah Woods <info@minifree.org>
  5. This program is free software: you can redistribute it and/or modify
  6. it under the terms of the GNU Affero General Public License as
  7. published by the Free Software Foundation, either version 3 of the
  8. License, or (at your option) any later version.
  9. This program is distributed in the hope that it will be useful,
  10. but WITHOUT ANY WARRANTY; without even the implied warranty of
  11. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  12. GNU Affero General Public License for more details.
  13. You should have received a copy of the GNU Affero General Public License
  14. along with this program. If not, see <http://www.gnu.org/licenses/>.
  15. */
  16. header('Content-type: text/html; charset=utf-8');
  17. ob_start();
  18. include_once "../common/variables.php";
  19. include_once "../common/functions.php";
  20. ?>
  21. <!DOCTYPE html>
  22. <html>
  23. <head>
  24. <link rel="stylesheet" type="text/css" href="../common/css/main.css" />
  25. <title><?php echo gettext("GPG signing key"); ?></title>
  26. </head>
  27. <body>
  28. <div>
  29. <h1><?php echo gettext("GPG signing key"); ?></h1>
  30. <p>
  31. <?php echo $lbProjectGpgKeyInfo; ?>
  32. </p>
  33. <p>
  34. <?php echo gettext("Download the key:"); ?><br/>
  35. $ <strong>gpg --recv-keys <?php echo $lbProjectGpgKeyID; ?></strong>
  36. </p>
  37. <p>
  38. <?php echo gettext("Download the SHA512 manifest and its corresponding GPG signature, for the release that you are using."); ?>
  39. <?php echo gettext("Put the src, util and docs archives in the same directory as the SHA512 manifest file."); ?>
  40. <?php echo gettext("Put your ROM image archives under <em>rom/</em> in that directory, and crossgcc tarballs under <em>crossgcc/</em>."); ?>
  41. </p>
  42. <p>
  43. <?php echo gettext("After you've done this, verify the SHA512 checksums:"); ?><br/>
  44. $ <strong>sha512sum -c sha512sum.txt</strong>
  45. </p>
  46. <p>
  47. <?php echo gettext("You can verify the downloaded SHA512 manifest as follows:"); ?><br/>
  48. $ <strong>gpg --verify sha512sum.txt.sig</strong>
  49. </p>
  50. <p>
  51. <a href="../"><?php echo gettext("Back to home page"); ?></a>
  52. </p>
  53. </div>
  54. <?php
  55. include "../common/footer.php";
  56. ?>
  57. </body>
  58. </html>
  59. <?php
  60. $strHtml = ob_get_clean();
  61. echo miniHtml($strHtml);
  62. ?>