man/man.in

   1 #!/bin/sh
   2 set -e
   3
   4 if [ -z "$1" ]; then
   5     echo "Use: $0 page-name (with no section suffix)"
   6     exit 1
   7 fi
   8
   9 # make sure the rules have been regenerated (in case man/update-man-rules was just run)
  10 ninja -C "@BUILD_ROOT@" version.h
  11
  12 page="$(echo "$1" | sed 's/\./\\./')"
  13 target=$(ninja -C "@BUILD_ROOT@" -t query man/man | grep -E -m1 "man/$page\.[0-9]$" | awk '{print $2}')
  14 if [ -z "$target" ]; then
  15     echo "Cannot find page $1"
  16     exit 1
  17 fi
  18 ninja -C "@BUILD_ROOT@" "$target"
  19
  20 fullname="@BUILD_ROOT@/$target"
  21 redirect="$(sed -n -r '1 s|^\.so man[0-9]/(.*)|\1|p' "$fullname")"
  22 if [ -n "$redirect" ]; then
  23     ninja -C "@BUILD_ROOT@" "man/$redirect"
  24
  25     fullname="@BUILD_ROOT@/man/$redirect"
  26 fi
  27
  28 exec man "$fullname"