mirror of
https://github.com/systemd/systemd-stable.git
synced 2025-01-11 05:17:44 +03:00
e9bbff18e1
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/.
13 lines
200 B
Bash
Executable File
13 lines
200 B
Bash
Executable File
#!/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"
|