ci: Fix man page build

2026-10-18 19:10:30 +08:00 · 2023-07-21 20:52:25 +02:00
parent af28a0ca07
commit 170417f974
3 changed files with 55 additions and 25 deletions
@@ -0,0 +1,20 @@
+#!/bin/sh
+
+set -e
+
+main() {
+  if [ $# -lt 2 ]; then
+    echo "usage: $0 <output-dir> <input-file>..."
+    exit 1
+  fi
+
+  outdir="$1"
+  shift
+
+  for input in "$@"; do
+    echo "Building $input.."
+    asciidoctor --doctype manpage --backend manpage --destination-dir "$outdir" "$input"
+  done
+}
+
+main "$@"