From: Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Date: Thu, 10 Aug 2023 11:29:44 +0000 (+0200)
Subject: Add helper to build the man page
X-Git-Tag: v15.1~2^2~1
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=344085ec26aa1f778f84928b02d63bb1945ee85f;p=thirdparty%2Fmkosi.git

Add helper to build the man page
---

diff --git a/.gitignore b/.gitignore
index c6983c40e..b476dc13a 100644
--- 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 b4ae8369f..7ee0d2df4 100644
--- 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
index 000000000..005404906
--- /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