Add helper to build the man page

diff --git a/.gitignore b/.gitignore
index c6983c40e9ffa89a9e14d9b0b8dc266fc8469e35..b476dc13a634f5502ae7e389d2a7e88f1cdc0234 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,7 @@
 *.cache-pre-dev
 *.cache-pre-inst
 .cache
+.mkosi.1
 .mypy_cache/
 .project
 .pydevproject

diff --git a/NEWS.md b/NEWS.md
index b4ae8369fddd0b56ead3788a67362a5683daf8c3..7ee0d2df49a69d92cbed659b0e751d86c66255a5 100644 (file)
--- a/NEWS.md
+++ b/NEWS.md
@@ -1,5 +1,10 @@
 # mkosi Changelog
 
+## v15.1
+
+- The man page can be generated from the markdown file via
+  `tools/make-man-page.sh`.
+
 ## v15
 
 - Migrated to systemd-repart. Many options are dropped in favor of specifying them directly

diff --git a/tools/make-man-page.sh b/tools/make-man-page.sh
new file mode 100755 (executable)
index 0000000..0054049
--- /dev/null
+++ b/tools/make-man-page.sh
@@ -0,0 +1,5 @@
+#!/bin/sh
+# SPDX-License-Identifier: LGPL-2.1+
+set -ex
+
+pandoc -t man -s -o mkosi/resources/mkosi.1 mkosi/resources/mkosi.md