Merge branch 'dev' of https://github.com/gap-system/GapWWW into dev

gap-system · Mar 14, 2024 · e24da4c · e24da4c
2 parents 5f4741f + f41955c
commit e24da4c
Show file tree

Hide file tree

Showing 30 changed files with 27 additions and 34 deletions.
diff --git a/Faq/faq.html b/Faq/faq.html
@@ -254,7 +254,7 @@ <h4>
 <p>
   GAP runs on (almost) any flavour of Unix, on Macintoshes
   and on Windows (&gt;94) machines.
-  <a href="{{ site.baseurl }}/Download/index.html">More&nbsp;details</a> are given in a section
+  <a href="{{ site.baseurl }}/Install/index.html">More&nbsp;details</a> are given in a section
   of the current download page.
 </p>
 
@@ -418,7 +418,7 @@ <h4>
 merged archive of all currently redistributed GAP
 (see <a href="{{ site.baseurl }}/Packages/packages.html">packages</a>).
 Some packages may need additional compilation to get them working, as explained in
-the <a href="{{ site.baseurl }}/Download/install.html"> Installation Instructions</a>.
+the <a href="{{ site.baseurl }}/Install/"> Installation Instructions</a>.
 
 </p>
 
@@ -438,7 +438,7 @@ <h4>
 </h4>
 <p>
   You can download GAP as described on the page
-  <a href="{{ site.baseurl }}/Download/index.html">Download&nbsp;GAP</a>.
+  <a href="{{ site.baseurl }}/Install/index.html">Download&nbsp;GAP</a>.
 </p>
 
 <!-- ================================================================================== -->
@@ -521,7 +521,7 @@ <h4>
 </h4>
 <p>
   See the
-  <a href="{{ site.baseurl }}/Download/index.html">download&nbsp;pages</a>.
+  <a href="{{ site.baseurl }}/Install/">download&nbsp;pages</a>.
 </p>
 
 <!-- ================================================================================== -->

diff --git a/Download/CreateWorkspace.sh → Install/CreateWorkspace.sh b/Download/CreateWorkspace.sh → Install/CreateWorkspace.sh
diff --git a/Download/InstPackages.sh → Install/InstPackages.sh b/Download/InstPackages.sh → Install/InstPackages.sh
diff --git a/Download/InstPackages32.sh → Install/InstPackages32.sh b/Download/InstPackages32.sh → Install/InstPackages32.sh
diff --git a/Download/index.html → Install/index.html b/Download/index.html → Install/index.html
@@ -8,7 +8,7 @@
 <p>
 The current version is 
 <a href="{{ site.baseurl }}/Releases/{{site.data.release.version}}.html">GAP&nbsp;{{site.data.release.version}}</a> 
-released on {{site.data.release.date}}. Older versions can be found <a href="{{ site.baseurl }}/Download/releases.html">here</a>. 
+released on {{site.data.release.date}}. Older versions can be found <a href="{{ site.baseurl }}/Install/releases.html">here</a>. 
 There are several ways to install GAP:
 </p>
 

diff --git a/Download/linux.html → Install/linux.html b/Download/linux.html → Install/linux.html
diff --git a/Download/mac.html → Install/mac.html b/Download/mac.html → Install/mac.html
diff --git a/Download/releases.html → Install/releases.html b/Download/releases.html → Install/releases.html
diff --git a/Download/windows.html → Install/windows.html b/Download/windows.html → Install/windows.html
diff --git a/_Releases/4.10.0.html b/_Releases/4.10.0.html
@@ -12,7 +12,7 @@ <h2>Linux and macOS</h2>
 in the unpacked directory. Then change to the <code>pkg</code> subdirectory and call
 <code>../bin/BuildPackages.sh</code> to run the script which will build most of the
 packages that require compilation (provided sufficiently many libraries, headers and
-tools are available). For further details, see <a href="../Download/index.html">here</a>.
+tools are available). For further details, see <a href="../Install/index.html">here</a>.
 Expert users can find the description of all installation options in the
 <a href="https://github.com/gap-system/gap/blob/v{{page.version}}/INSTALL.md">INSTALL.md</a> file.
 </p>

diff --git a/_Releases/4.10.1.html b/_Releases/4.10.1.html
@@ -12,7 +12,7 @@ <h2>Linux and macOS</h2>
 in the unpacked directory. Then change to the <code>pkg</code> subdirectory and call
 <code>../bin/BuildPackages.sh</code> to run the script which will build most of the
 packages that require compilation (provided sufficiently many libraries, headers and
-tools are available). For further details, see <a href="../Download/index.html">here</a>.
+tools are available). For further details, see <a href="../Install/index.html">here</a>.
 Expert users can find the description of all installation options in the
 <a href="https://github.com/gap-system/gap/blob/v{{page.version}}/INSTALL.md">INSTALL.md</a> file.
 </p>

diff --git a/_Releases/4.10.2.html b/_Releases/4.10.2.html
@@ -12,7 +12,7 @@ <h2>Linux and macOS</h2>
 in the unpacked directory. Then change to the <code>pkg</code> subdirectory and call
 <code>../bin/BuildPackages.sh</code> to run the script which will build most of the
 packages that require compilation (provided sufficiently many libraries, headers and
-tools are available). For further details, see <a href="../Download/index.html">here</a>.
+tools are available). For further details, see <a href="../Install/index.html">here</a>.
 Expert users can find the description of all installation options in the
 <a href="https://github.com/gap-system/gap/blob/v{{page.version}}/INSTALL.md">INSTALL.md</a> file.
 </p>

diff --git a/_Releases/4.7.6.html b/_Releases/4.7.6.html
@@ -16,7 +16,7 @@ <h2>Linux and macOS</h2>
 on 64-bit machines, use <a href="../Download/InstPackages32.sh"><code>InstPackages32.sh</code></a>)
 in order to build most of the packages that require compilation provided sufficiently many libraries, 
 headers and tools are available (you may have to run <code>chmode</code> first). For 
-further details, see <a href="../Download/index.html">here</a>. Expert users can find
+further details, see <a href="../Install/index.html">here</a>. Expert users can find
 the desciption of all installation options in the <a href="https://github.com/gap-system/gap/blob/v{{page.version}}/INSTALL">INSTALL</a> file.
 </p>
 

diff --git a/_Releases/4.7.7.html b/_Releases/4.7.7.html
@@ -16,7 +16,7 @@ <h2>Linux and macOS</h2>
 on 64-bit machines, use <a href="../Download/InstPackages32.sh"><code>InstPackages32.sh</code></a>)
 in order to build most of the packages that require compilation provided sufficiently many libraries, 
 headers and tools are available (you may have to run <code>chmode</code> first). For 
-further details, see <a href="../Download/index.html">here</a>. Expert users can find
+further details, see <a href="../Install/index.html">here</a>. Expert users can find
 the desciption of all installation options in the <a href="https://github.com/gap-system/gap/blob/v{{page.version}}/INSTALL">INSTALL</a> file.
 </p>
 

diff --git a/_Releases/4.7.8.html b/_Releases/4.7.8.html
@@ -14,7 +14,7 @@ <h2>Linux and macOS</h2>
 on 64-bit machines, use <a href="../Download/InstPackages32.sh"><code>InstPackages32.sh</code></a>)
 in order to build most of the packages that require compilation provided sufficiently many libraries, 
 headers and tools are available (you may have to run <code>chmode</code> first). For 
-further details, see <a href="../Download/index.html">here</a>. Expert users can find
+further details, see <a href="../Install/index.html">here</a>. Expert users can find
 the desciption of all installation options in the <a href="https://github.com/gap-system/gap/blob/v{{page.version}}/INSTALL">INSTALL</a> file.
 </p>
 

diff --git a/_Releases/4.7.9.html b/_Releases/4.7.9.html
@@ -14,7 +14,7 @@ <h2>Linux and macOS</h2>
 on 64-bit machines, use <a href="../Download/InstPackages32.sh"><code>InstPackages32.sh</code></a>)
 in order to build most of the packages that require compilation provided sufficiently many libraries, 
 headers and tools are available (you may have to run <code>chmode</code> first). For 
-further details, see <a href="../Download/index.html">here</a>. Expert users can find
+further details, see <a href="../Install/index.html">here</a>. Expert users can find
 the desciption of all installation options in the <a href="https://github.com/gap-system/gap/blob/v{{page.version}}/INSTALL">INSTALL</a> file.
 </p>
 

diff --git a/_Releases/4.8.10.html b/_Releases/4.8.10.html
@@ -13,7 +13,7 @@ <h2>Linux and macOS</h2>
 <code>../bin/BuildPackages.sh</code> to run the script which will build most of
 the packages that require compilation (provided sufficiently many libraries, headers
 and tools are available). For further details,
-see <a href="../Download/index.html">here</a>. Expert users can find the description
+see <a href="../Install/index.html">here</a>. Expert users can find the description
 of all installation options in the <a href="https://github.com/gap-system/gap/blob/v{{page.version}}/INSTALL.md">INSTALL.md</a> file.
 </p>
 

diff --git a/_Releases/4.8.2.html b/_Releases/4.8.2.html
@@ -14,7 +14,7 @@ <h2>Linux and macOS</h2>
 on 64-bit machines, use <a href="../Download/InstPackages32.sh"><code>InstPackages32.sh</code></a>)
 in order to build most of the packages that require compilation provided sufficiently many libraries, 
 headers and tools are available (you may have to run <code>chmode</code> first). For 
-further details, see <a href="../Download/index.html">here</a>. Expert users can find
+further details, see <a href="../Install/index.html">here</a>. Expert users can find
 the desciption of all installation options in the <a href="https://github.com/gap-system/gap/blob/v{{page.version}}/INSTALL">INSTALL</a> file.
 </p>
 

diff --git a/_Releases/4.8.3.html b/_Releases/4.8.3.html
@@ -14,7 +14,7 @@ <h2>Linux and macOS</h2>
 on 64-bit machines, use <a href="../Download/InstPackages32.sh"><code>InstPackages32.sh</code></a>)
 in order to build most of the packages that require compilation provided sufficiently many libraries, 
 headers and tools are available (you may have to run <code>chmode</code> first). For 
-further details, see <a href="../Download/index.html">here</a>. Expert users can find
+further details, see <a href="../Install/index.html">here</a>. Expert users can find
 the desciption of all installation options in the <a href="https://github.com/gap-system/gap/blob/v{{page.version}}/INSTALL.md">INSTALL.md</a> file.
 </p>
 

diff --git a/_Releases/4.8.4.html b/_Releases/4.8.4.html
@@ -13,7 +13,7 @@ <h2>Linux and macOS</h2>
 <code>../bin/BuildPackages.sh</code> to run the script which will build most of
 the packages that require compilation (provided sufficiently many libraries, headers
 and tools are available). For further details,
-see <a href="../Download/index.html">here</a>. Expert users can find the description
+see <a href="../Install/index.html">here</a>. Expert users can find the description
 of all installation options in the <a href="https://github.com/gap-system/gap/blob/v{{page.version}}/INSTALL.md">INSTALL.md</a> file.
 </p>
 

diff --git a/_Releases/4.8.5.html b/_Releases/4.8.5.html
@@ -16,7 +16,7 @@ <h2>Linux and macOS</h2>
 <code>../bin/BuildPackages.sh</code> to run the script which will build most of
 the packages that require compilation (provided sufficiently many libraries, headers
 and tools are available). For further details,
-see <a href="../Download/index.html">here</a>. Expert users can find the description
+see <a href="../Install/index.html">here</a>. Expert users can find the description
 of all installation options in the <a href="https://github.com/gap-system/gap/blob/v{{page.version}}/INSTALL.md">INSTALL.md</a> file.
 </p>
 

diff --git a/_Releases/4.8.6.html b/_Releases/4.8.6.html
@@ -13,7 +13,7 @@ <h2>Linux and macOS</h2>
 <code>../bin/BuildPackages.sh</code> to run the script which will build most of
 the packages that require compilation (provided sufficiently many libraries, headers
 and tools are available). For further details,
-see <a href="../Download/index.html">here</a>. Expert users can find the description
+see <a href="../Install/index.html">here</a>. Expert users can find the description
 of all installation options in the <a href="https://github.com/gap-system/gap/blob/v{{page.version}}/INSTALL.md">INSTALL.md</a> file.
 </p>
 

diff --git a/_Releases/4.8.7.html b/_Releases/4.8.7.html
@@ -16,7 +16,7 @@ <h2>Linux and macOS</h2>
 <code>../bin/BuildPackages.sh</code> to run the script which will build most of
 the packages that require compilation (provided sufficiently many libraries, headers
 and tools are available). For further details,
-see <a href="../Download/index.html">here</a>. Expert users can find the description
+see <a href="../Install/index.html">here</a>. Expert users can find the description
 of all installation options in the <a href="https://github.com/gap-system/gap/blob/v{{page.version}}/INSTALL.md">INSTALL.md</a> file.
 </p>
 

diff --git a/_Releases/4.8.8.html b/_Releases/4.8.8.html
@@ -15,7 +15,7 @@ <h2>Linux and macOS</h2>
 <code>../bin/BuildPackages.sh</code> to run the script which will build most of
 the packages that require compilation (provided sufficiently many libraries, headers
 and tools are available). For further details,
-see <a href="../Download/index.html">here</a>. Expert users can find the description
+see <a href="../Install/index.html">here</a>. Expert users can find the description
 of all installation options in the <a href="https://github.com/gap-system/gap/blob/v{{page.version}}/INSTALL.md">INSTALL.md</a> file.
 </p>
 

diff --git a/_Releases/4.8.9.html b/_Releases/4.8.9.html
@@ -13,7 +13,7 @@ <h2>Linux and macOS</h2>
 <code>../bin/BuildPackages.sh</code> to run the script which will build most of
 the packages that require compilation (provided sufficiently many libraries, headers
 and tools are available). For further details,
-see <a href="../Download/index.html">here</a>. Expert users can find the description
+see <a href="../Install/index.html">here</a>. Expert users can find the description
 of all installation options in the <a href="https://github.com/gap-system/gap/blob/v{{page.version}}/INSTALL.md">INSTALL.md</a> file.
 </p>
 

diff --git a/_Releases/4.9.1.html b/_Releases/4.9.1.html
@@ -12,7 +12,7 @@ <h2>Linux and macOS</h2>
 in the unpacked directory. Then change to the <code>pkg</code> subdirectory and call
 <code>../bin/BuildPackages.sh</code> to run the script which will build most of the
 packages that require compilation (provided sufficiently many libraries, headers and
-tools are available). For further details,see <a href="../Download/index.html">here</a>.
+tools are available). For further details,see <a href="../Install/index.html">here</a>.
 Expert users can find the description of all installation options in the
 <a href="https://github.com/gap-system/gap/blob/v{{page.version}}/INSTALL.md">INSTALL.md</a> file.
 </p>

diff --git a/_Releases/4.9.2.html b/_Releases/4.9.2.html
@@ -12,7 +12,7 @@ <h2>Linux and macOS</h2>
 in the unpacked directory. Then change to the <code>pkg</code> subdirectory and call
 <code>../bin/BuildPackages.sh</code> to [dist] the script which will build most of the
 packages that require compilation (provided sufficiently many libraries, headers and
-tools are available). For further details,see <a href="../Download/index.html">here</a>.
+tools are available). For further details,see <a href="../Install/index.html">here</a>.
 Expert users can find the description of all installation options in the
 <a href="https://github.com/gap-system/gap/blob/v{{page.version}}/INSTALL.md">INSTALL.md</a> file.
 </p>

diff --git a/_Releases/4.9.3.html b/_Releases/4.9.3.html
@@ -11,7 +11,7 @@ <h2>Linux and macOS</h2>
 in the unpacked directory. Then change to the <code>pkg</code> subdirectory and call
 <code>../bin/BuildPackages.sh</code> to run the script which will build most of the
 packages that require compilation (provided sufficiently many libraries, headers and
-tools are available). For further details, see <a href="../Download/index.html">here</a>.
+tools are available). For further details, see <a href="../Install/index.html">here</a>.
 Expert users can find the description of all installation options in the
 <a href="https://github.com/gap-system/gap/blob/v{{page.version}}/INSTALL.md">INSTALL.md</a> file.
 </p>

diff --git a/_layouts/releases.html b/_layouts/releases.html
@@ -42,7 +42,7 @@ <h2>Linux and macOS</h2>
 <code>../bin/BuildPackages.sh</code> to run the script which will build most of
 the packages that require compilation (provided sufficiently many libraries,
 headers and tools are available). For further details, see <a
-href="../Download/index.html">here</a>.  Expert users can find the description
+href="../Install/index.html">here</a>.  Expert users can find the description
 of all installation options in the
 <a href="https://github.com/gap-system/gap/blob/v{{page.version}}/INSTALL.md">
   INSTALL.md</a> file.
@@ -65,12 +65,6 @@ <h2>Linux and macOS</h2>
 {% endfor %}
 </table>
 
-<p>
-You may also consider one of the
-<a href="../Download/alternatives.html">alternative distributions</a>.
-Note, however, that these are updated independently and may not yet
-provide the latest GAP release.
-</p>
 {% endif %}
 
 

diff --git a/index.md b/index.md
@@ -34,10 +34,9 @@ You can study and easily modify or extend it for your special use.
 
 ### How to obtain GAP?
 
-How to install GAP is described in [Installation]({{ site.baseurl }}/Download/).
+How to install GAP is described in [Installation]({{ site.baseurl }}/Install/).
 The current release is GAP {{site.data.release.version}} and it can be
-obtained from our [downloads
-page]({{ site.baseurl }}/Releases/{{site.data.release.version}}.html).
+obtained from our [release page]({{ site.baseurl }}/Releases/{{site.data.release.version}}.html).
 This website describes this release if not stated otherwise. 
 Changes from earlier versions are described in the
 [Release history](https://github.com/gap-system/gap/blob/master/CHANGES.md).