Merge branch 'main' into fix_third_party_security_issue

.github/dependabot.yml

@@ -0,0 +1,11 @@
+# To get started with Dependabot version updates, you'll need to specify which
+# package ecosystems to update and where the package manifests are located.
+# Please see the documentation for all configuration options:
+# https://docs.github.com/code-security/dependabot/dependabot-version-updates/configuration-options-for-the-dependabot.yml-file
+
+version: 2
+updates:
+  - package-ecosystem: "" # See documentation for possible values
+    directory: "/" # Location of package manifests
+    schedule:
+      interval: "weekly"

.github/workflows/build.yml

@@ -102,7 +102,9 @@ jobs:
           if [ -n "$(git status --porcelain documentation)" ]; then
             git add documentation
             git commit -m "update license information"
-            git push
+            branch_name=${{ github.head_ref }}
+            git pull origin $branch_name --rebase
+            git push origin HEAD:$branch_name
           fi
 
       - name: Create Bundle

documentation/third-party-licenses/gnu lesser general public license, version 2.1 - lgpl-2.1.en.html

@@ -73,13 +73,13 @@
 </p>
 
 <div id="switches">
-<!-- Oh well. We can't have nice things. -->
+<!-- Oh well. We can't have nice things.
  <div  id="search-button" class="switch">
   <img id="search-icon" height="30" width="30"
        src="/graphics/icons/search.png"
        alt="&nbsp;[Search www.gnu.org]&nbsp;" />
  </div>
-<!-- end search button -->
+end search button -->
 
  <div id="language-button" class="switch">
   <a href="#language-container">