diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2019-05-09 13:23:50 +0200 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2019-05-09 18:17:28 +0200 |
commit | e9bbff18e1cb7fc2ec209255c523780ad2e3dfce (patch) | |
tree | ca351c185e3020a99e7e6a8963e921b1d0c05d72 /man/man.in | |
parent | Merge pull request #12513 from ssahani/vxlan (diff) | |
download | systemd-e9bbff18e1cb7fc2ec209255c523780ad2e3dfce.tar.xz systemd-e9bbff18e1cb7fc2ec209255c523780ad2e3dfce.zip |
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-x | man/man.in | 15 |
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" |