docs: Make minor change to auto-generated commit

Signed-off-by: Vangelis Koukis <vkoukis@gmail.com>
vkoukis · Dec 28, 2024 · f2a7b8e · f2a7b8e
1 parent d43ea40
commit f2a7b8e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -80,7 +80,7 @@ docs-publish: docs-clean docs-build
 # Finally, bring out artifacts, and generate a new commit automatically.
 	cp -av $(BUILDDIR)/docs/html/. $(PAGESDIR)
 	$(GITPAGES) add -A
-	$(GITPAGES) commit -s --allow-empty -m "Auto-generated docs for version $(VERSION)"
+	$(GITPAGES) commit -s --allow-empty -m "Add auto-generated docs for version $(VERSION)"
 # We are ready to push everything to the remote. Woo hoo.
 	$(GITPAGES) push origin $(PAGES_BRANCH):$(PAGES_BRANCH)
 	@echo DOCS-PUBLISH: Successfully published docs to $(PAGES_GIT_REMOTE_URL)