Deployed 4ac8bea with MkDocs version: 1.5.3

adding_software/contribution_policy/index.html

@@ -967,9 +967,9 @@
       <ul class="md-nav__list">
 
           <li class="md-nav__item">
-  <a href="#open_source_software" class="md-nav__link">
+  <a href="#freely_redistributable_software" class="md-nav__link">
     <span class="md-ellipsis">
-      i) Open source software
+      i) Freely redistributable software
     </span>
   </a>
 
@@ -1349,9 +1349,9 @@
       <ul class="md-nav__list">
 
           <li class="md-nav__item">
-  <a href="#open_source_software" class="md-nav__link">
+  <a href="#freely_redistributable_software" class="md-nav__link">
     <span class="md-ellipsis">
-      i) Open source software
+      i) Freely redistributable software
     </span>
   </a>
 
@@ -1481,7 +1481,7 @@ <h2 id="requirements">Requirements<a class="headerlink" href="#requirements" tit
 <p>The following requirements must be taken into account when adding software to EESSI.</p>
 <p>Note that additional restrictions may apply in specific cases that are currently not covered explicitly by this policy.</p>
 <hr />
-<h3 id="open_source_software">i) Open source software<a class="headerlink" href="#open_source_software" title="Permanent link">&para;</a></h3>
+<h3 id="freely_redistributable_software">i) Freely redistributable software<a class="headerlink" href="#freely_redistributable_software" title="Permanent link">&para;</a></h3>
 <p>Only <strong>freely redistributable software</strong> can be added to the EESSI repository,
 and we strongly prefer including only <strong>open source software</strong> in EESSI.</p>
 <p>Make sure that you are aware of the relevant software licenses,
@@ -1561,7 +1561,7 @@ <h3 id="v010-9-nov-2023">v0.1.0 (9 Nov 2023)<a class="headerlink" href="#v010-9-
   <small>
 
       Last update:
-      <span class="git-revision-date-localized-plugin git-revision-date-localized-plugin-date">November 9, 2023</span>
+      <span class="git-revision-date-localized-plugin git-revision-date-localized-plugin-date">November 22, 2023</span>
 
 
   </small>