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/.
16 lines
339 B
Bash
Executable file
16 lines
339 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=$(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"
|