summaryrefslogtreecommitdiff
path: root/man/man.in
diff options
context:
space:
mode:
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>2019-05-09 13:23:50 +0200
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>2019-05-09 18:17:28 +0200
commite9bbff18e1cb7fc2ec209255c523780ad2e3dfce (patch)
treeca351c185e3020a99e7e6a8963e921b1d0c05d72 /man/man.in
parentda35a1c9fc94d9803d48332371033baca581de70 (diff)
downloadsystemd-e9bbff18e1cb7fc2ec209255c523780ad2e3dfce.tar.gz
meson: add build/man/man and build/man/html to build and display pages
Man page generation is generally very slow. I prefer to use -Dman=false when developing systemd, and only build specific pages when introducing changes. Those two little helper tools make it easy: $ build/man/man systemd.link $ build/man/html systemd.link will show systemd.link.8 and systemd.link.html from the build directory build/.
Diffstat (limited to 'man/man.in')
-rwxr-xr-xman/man.in15
1 files changed, 15 insertions, 0 deletions
diff --git a/man/man.in b/man/man.in
new file mode 100755
index 0000000000..5700a642bd
--- /dev/null
+++ b/man/man.in
@@ -0,0 +1,15 @@
+#!/bin/sh
+set -e
+
+if [ -z "$1" ]; then
+ echo "Use: $0 page-name (with no section suffix)"
+ exit 1
+fi
+
+target=$(ninja -C "@BUILD_ROOT@" -t query man/man | grep -E -m1 "man/$1\.[0-9]$" | awk '{print $2}')
+if [ -z "$target" ]; then
+ echo "Cannot find page $1"
+ exit 1
+fi
+ninja -C "@BUILD_ROOT@" "$target"
+exec man build/"$target"