From 2f990549b6abc93c6e81a936f43aa96d1472563b Mon Sep 17 00:00:00 2001 From: Jonas Fonseca Date: Thu, 23 Aug 2007 11:18:29 +0200 Subject: [PATCH] Force adding of doc files in the release-doc rule --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index da9a743..69668d4 100644 --- a/Makefile +++ b/Makefile @@ -113,7 +113,7 @@ release-doc: git checkout release && \ git merge master && \ $(MAKE) clean doc-man doc-html && \ - git add $(MANDOC) $(HTMLDOC) && \ + git add -f $(MANDOC) $(HTMLDOC) && \ git commit -m "Sync docs" && \ git checkout master -- 2.30.2