You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
22 lines
593 B
22 lines
593 B
diff --git a/man/dummy-man b/man/dummy-man
|
|
index e298295..73846b7 100755
|
|
--- a/man/dummy-man
|
|
+++ b/man/dummy-man
|
|
@@ -37,17 +37,10 @@ while test $# -gt 0; do
|
|
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 <<END
|
|
-Did not generate or find default '$baseout' man page.
|
|
-Creating a stub man page instead.
|
|
-END
|
|
|
|
progname=`basename_ "$1"`
|
|
bs='\'
|
|
|