diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 3ad56f6..366e875 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -41,5 +41,5 @@ jobs:
           make doc
 
           git add -f docs
-          git commit -m "Re-generated documentation"
+          git commit -m "Re-generated documentation" --allow-empty
           git push origin gh-pages