Index: index.html
===================================================================
RCS file: /web/liberty-eiffel/liberty-eiffel/index.html,v
retrieving revision 1.5
diff -U 2 -r1.5 index.html
--- index.html	19 May 2016 19:06:11 -0000	1.5
+++ index.html	20 Dec 2020 16:43:20 -0000
@@ -1,20 +1,11 @@
 <!--#include virtual="/server/header.html" -->
-<!-- Parent-Version: 1.75 -->
+<!-- Parent-Version: 1.95 -->
 <!-- Version: $Revision: 1.5 $ -->
 
-<!-- 4. You can use the patch-from-parent script to semi-automate
-        merging future changes to the boilerplate with your file:
-        http://web.cvs.savannah.gnu.org/viewvc/*checkout*/www/server/standards/patch-from-parent?root=www&content-type=text%2Fplain
-        -->
-
-<!-- If you would like to make sure your page validates with HTML5, that
-     would be a good thing.  To do that, change the first line from
-     to /server/html5-header.html before trying the validation.  Maybe
-     someday we will be able to make /server/header be HTML5.  -->
-
 <title>Liberty Eiffel
 - GNU Project - Free Software Foundation</title>
 <!--#include virtual="/server/gnun/initial-translations-list.html" -->
 <!--#include virtual="/server/banner.html" -->
+<div class="reduced-width">
 
 <p style="text-align: center;"><small>
@@ -24,24 +15,26 @@
  |  <a href="#main">Mailing lists</a>
  |  <a href="#contribute">Getting involved</a>
- |  <a href="license">Licensing</a>
+ |  <a href="#license">Licensing</a>
 </small></p>
 
 <h2>GNU Eiffel Compiler</h2>
+<div class="thin"></div>
 
-<p>Liberty Eiffel is the GNU Eiffel Compiler</p>
+<p>Liberty Eiffel is the GNU Eiffel Compiler.</p>
 
 <h3 id="home">Liberty Eiffel home</h3>
 
-Liberty Eiffel is hosted on <a href="http://www.liberty-eiffel.org">its own server</a>. All information is available on <a href="http://www.liberty-eiffel.org">www.liberty-eiffel.org</a> or in our <a href="http://wiki.liberty-eiffel.org">wiki</a>.
-
+<p class="highlight-para">
+Liberty Eiffel is hosted on <a href="https://www.liberty-eiffel.org">its own server</a>. All information is available on <a href="https://www.liberty-eiffel.org">www.liberty-eiffel.org</a> or in our <a href="https://wiki.liberty-eiffel.org">wiki</a>.
+</p>
 
-<h3 id="download">Downloading Liberty Eiffel</h3>
+<h3 id="download">Download</h3>
 
-<p>Liberty Eiffel can be found on the GNU savannah ftp server:
-<a href="http://download.savannah.gnu.org/releases/liberty-eiffel/">http://download.savannah.gnu.org/releases/liberty-eiffel/</a> or in the <a href="http://apt.liberty-eiffel.org/">apt repository</a> as Debian packages.
+<p>Liberty Eiffel can be found on the
+<a href="https://download.savannah.gnu.org/releases/liberty-eiffel/">GNU savannah ftp server</a>, or in the <a href="http://apt.liberty-eiffel.org/">apt repository</a> as Debian packages.</p>
 
 <h3 id="documentation">Documentation</h3>
 
-<p><a href="http://doc.liberty-eiffel.org">Class documentation</a> for libraries and tools of Liberty Eiffel and a <a href="http://wiki.liberty-eiffel.org/index.php/Tutorial_tour">guided tour through the programming tutorial</a> to get started hacking
+<p><a href="https://doc.liberty-eiffel.org">Class documentation</a> for libraries and tools of Liberty Eiffel and a <a href="https://wiki.liberty-eiffel.org/index.php/Tutorial_tour">guided tour through the programming tutorial</a> to get started hacking
   Eiffel code is available online.
   
@@ -59,5 +52,5 @@
 <em>/usr/local/doc/liberty-eiffel/</em>,
 or similar directories on your system.  A brief summary is available by
-running <em>liberty-eiffel&nbsp;--help</em>.</p>
+running <em>liberty-eiffel&nbsp;&#45;-help</em>.</p>
 -->
 </p>
@@ -65,6 +58,5 @@
 <h3 id="mail">Mailing lists</h3>
 
-<p>Liberty Eiffel
-has the following mailing lists:</p>
+<p>Liberty Eiffel has one mailing list:</p>
 
 <ul>
@@ -85,11 +77,11 @@
 Liberty Eiffel
 and most other GNU software are made on
-<a href="http://lists.gnu.org/mailman/listinfo/info-gnu">info-gnu</a>
-(<a href="http://lists.gnu.org/archive/html/info-gnu/">archive</a>).</p>
+<a href="https://lists.gnu.org/mailman/listinfo/info-gnu">info-gnu</a>
+(<a href="https://lists.gnu.org/archive/html/info-gnu/">archive</a>).</p>
 
 <p>Security reports that should not be made immediately public can be
 sent directly to the maintainers (find names in AUTHORS file).  If there is no response to an urgent
 issue, you can escalate to the general
-<a href="http://lists.gnu.org/mailman/listinfo/security">security</a>
+<a href="https://lists.gnu.org/mailman/listinfo/security">security</a>
 mailing list for advice.</p>
 
@@ -108,8 +100,9 @@
 
 <dd>Trying the latest test release or even the current git HEAD is always
-  appreciated. Due to our <a href="et.liberty-eiffel.org">continuous integration
+  appreciated. Due to our <a href="https://et.liberty-eiffel.org">continuous integration
     and test server</a> normally even the development tree is working.
   Test releases in the form of release candidates are normally distributed via FTP
   server and announced on the mailing list shortly before a release is built.
+</dd>
 
 <dt>Development</dt>
@@ -117,7 +110,7 @@
 <dd>For development sources, issue trackers, and other
 information, please see the
-<a href="http://savannah.gnu.org/projects/liberty-eiffel/">Liberty Eiffel
+<a href="https://savannah.gnu.org/projects/liberty-eiffel/">Liberty Eiffel
 project page</a>
-at <a href="http://savannah.gnu.org">savannah.gnu.org</a>.</dd>
+at <a href="https://savannah.gnu.org">savannah.gnu.org</a>.</dd>
 
 <dt>Translating
@@ -127,4 +120,5 @@
   not planned but if you'd like to investigate into this, feel free to discuss
   your proposal on the <a href="https://lists.gnu.org/mailman/listinfo/liberty-eiffel">mailing list</a>.
+</dd>
 
 <dt>Maintainer</dt>
@@ -143,12 +137,14 @@
 <p>Liberty Eiffel
 is free software; you can redistribute it and/or modify it under the
-terms of the <a href="http://www.gnu.org/licenses/gpl.html"
+terms of the <a href="/licenses/gpl.html"
 rel="license">GNU General Public License</a> as published by the Free
 Software Foundation; either version&nbsp;2 of the License, or (at your
 option) any later version.</p>
 
+</div>
 </div><!-- for id="content", starts in the include above -->
 <!--#include virtual="/server/footer.html" -->
 <div id="footer">
+<div class="unprintable">
 
 <p>Please send general FSF &amp; GNU inquiries to
@@ -158,21 +154,9 @@
 to <a href="mailto:liberty-eiffel@gnu.org">&lt;liberty-eiffel@gnu.org&gt;</a>.</p>
 
-<p><!-- TRANSLATORS: Ignore the original text in this paragraph,
-        replace it with the translation of these two:
-
-        We work hard and do our best to provide accurate, good quality
-        translations.  However, we are not exempt from imperfection.
-        Please send your comments and general suggestions in this regard
-        to <a href="mailto:web-translators@gnu.org">
-        &lt;web-translators@gnu.org&gt;</a>.</p>
-
-        <p>For information on coordinating and submitting translations of
-        our web pages, see <a
-        href="/server/standards/README.translations.html">Translations
-        README</a>. -->
-Please see the <a
+<p>Please see the <a
 href="/server/standards/README.translations.html">Translations
-README</a> for information on coordinating and submitting translations
+README</a> for information on coordinating and contributing translations
 of this article.</p>
+</div>
 
 <!-- Regarding copyright, in general, standalone pages (as opposed to
@@ -201,5 +185,5 @@
 <!--#include virtual="/server/bottom-notes.html" -->
 
-<p>Updated:
+<p class="unprintable">Updated:
 <!-- timestamp start -->
 $Date: 2016/05/19 19:06:11 $