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

keszybz · keszybz · commit b8ca4db1b761 · 2021-11-24T16:09:54.000+01:00
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
@@ -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"
