tools/do-a-release: rebuild the man page in a separate commit

Otherwise the interesting changes are hidden behind a very long diff of
generated output.

diff --git a/tools/do-a-release.sh b/tools/do-a-release.sh
index 5197538c5a920c414c976fbf40e8b276ad6cea1d..b0af0ec54042b69a1b009f5e066ac2c79960d7bf 100755 (executable)
--- a/tools/do-a-release.sh
+++ b/tools/do-a-release.sh
@@ -6,14 +6,23 @@ if [ -z "$1" ] ; then
     exit 1
 fi
 
+if ! git diff-index --quiet HEAD; then
+    echo "Repo has modified files."
+    exit 1
+fi
+
+pandoc -t man -s -o man/mkosi.1 mkosi.md
+
+if ! git diff-index --quiet HEAD; then
+    git add man/mkosi.1
+    git commit -m "man: rebuild the man page"
+fi
+
 sed -i 's/version=".*",/version="'"$1"'",/' setup.py
 sed -i "s/__version__ = \".*\"/__version__ = \"$1\"/" mkosi/__init__.py
 
 git add -p setup.py mkosi action.yaml
 
-pandoc -t man -s -o man/mkosi.1 mkosi.md
-git add man/mkosi.1
-
 git commit -m "Bump version numbers for v$1"
 
 git tag -s "v$1" -m "mkosi $1"