#!/bin/sh # Poor man's placeholder for help2man invocation on systems lacking perl, # or when cross compiling. # It just copies the distributed man pages. set -e; set -u fatal_ () { printf '%s: %s\n' "$0" "$*" >&2 exit 1 } basename_ () { printf '%s\n' "$1" | sed 's,.*/,,' } output= source="GNU coreutils" while test $# -gt 0; do case $1 in # Help2man options we recognize and handle. --output=*) output=`expr x"$1" : x'--output=\(.*\)'`;; --output) shift; output=$1;; --include=*) include=`expr x"$1" : x'--include=\(.*\)'`;; --include) shift; include=$1;; --source=*) source=`expr x"$1" : x'--source=\(.*\)'`;; --source) shift; source=$1;; # Recognize (as no-op) other help2man options that might be used # in the makefile. --info-page=*);; -*) fatal_ "invalid or unrecognized help2man option '$1'";; --) shift; break;; *) break;; esac shift done test $# -gt 0 || fatal_ "missing argument" test $# -le 1 || fatal_ "too many non-option arguments" dist_man=$(printf '%s\n' "$include" | sed 's/\.x$/.1/') test -f "$dist_man" && cp "$dist_man" "$output" && exit || : baseout=`basename_ "$output"` sed 's/^/WARNING: /' >&2 <"$output" <