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/html.in | |
parent | da35a1c9fc94d9803d48332371033baca581de70 (diff) | |
download | systemd-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/html.in')
-rwxr-xr-x | man/html.in | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/man/html.in b/man/html.in new file mode 100755 index 0000000000..d4debcc340 --- /dev/null +++ b/man/html.in @@ -0,0 +1,12 @@ +#!/bin/sh +set -e + +if [ -z "$1" ]; then + echo "Use: $0 page-name (with no section suffix)" + exit 1 +fi + +target="man/$1.html" +ninja -C "@BUILD_ROOT@" "$target" +set -x +exec xdg-open build/"$target" |