]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Add helper to build the man page
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Thu, 10 Aug 2023 11:29:44 +0000 (13:29 +0200)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Thu, 10 Aug 2023 11:48:44 +0000 (13:48 +0200)
.gitignore
NEWS.md
tools/make-man-page.sh [new file with mode: 0755]

index c6983c40e9ffa89a9e14d9b0b8dc266fc8469e35..b476dc13a634f5502ae7e389d2a7e88f1cdc0234 100644 (file)
@@ -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
@@ -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