diff --git a/.github/dependabot.yml b/.github/dependabot.yml
new file mode 100644
index 0000000..5990d9c
--- /dev/null
+++ b/.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"
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 9f9c5e1..c570e77 100644
--- a/.github/workflows/build.yml
+++ b/.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
diff --git a/documentation/third-party-licenses/gnu lesser general public license, version 2.1 - lgpl-2.1.en.html b/documentation/third-party-licenses/gnu lesser general public license, version 2.1 - lgpl-2.1.en.html
index 768ec96..3b79e84 100644
--- a/documentation/third-party-licenses/gnu lesser general public license, version 2.1 - lgpl-2.1.en.html	
+++ b/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">