From 2ccf17230f9df94de9a32c8ddb625d9392abe2fe Mon Sep 17 00:00:00 2001
From: Martin Frost <frost@ceri.se>
Date: Tue, 4 Apr 2023 09:27:01 +0200
Subject: [PATCH] gzip man-pages

---
 build-manpages.sh | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/build-manpages.sh b/build-manpages.sh
index f8e711c..45e59f6 100755
--- a/build-manpages.sh
+++ b/build-manpages.sh
@@ -3,8 +3,6 @@
 set -e
 
 mkdir -p target/man
-for page in git-{mob,solo,{add,edit,delete}-coauthor}; do
-    mdsh --work_dir . -o - -i docs/$page.md | \
-        mandown - "$(echo $page | tr '[:lower:]' '[:upper:]')" 1 | \
-        gzip > target/man/$page.1.gz
+for page in git-{mob,solo,{add,edit,delete}-coauthor}.1; do
+    gzip --to-stdout target/release/$page > target/man/$page.gz
 done