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.
23 lines
593 B
23 lines
593 B
8 years ago
|
diff --git a/man/dummy-man b/man/dummy-man
|
||
7 years ago
|
index e298295..73846b7 100755
|
||
8 years ago
|
--- a/man/dummy-man
|
||
|
+++ b/man/dummy-man
|
||
7 years ago
|
@@ -37,17 +37,10 @@ while test $# -gt 0; do
|
||
8 years ago
|
shift
|
||
|
done
|
||
|
|
||
|
-test $# -gt 0 || fatal_ "missing argument"
|
||
|
-test $# -le 1 || fatal_ "too many non-option arguments"
|
||
|
-
|
||
7 years ago
|
dist_man=$(printf '%s\n' "$include" | sed 's/\.x$/.1/')
|
||
|
test -f "$dist_man" && cp "$dist_man" "$output" && exit || :
|
||
|
|
||
8 years ago
|
baseout=`basename_ "$output"`
|
||
|
-sed 's/^/WARNING: /' >&2 <<END
|
||
7 years ago
|
-Did not generate or find default '$baseout' man page.
|
||
|
-Creating a stub man page instead.
|
||
8 years ago
|
-END
|
||
|
|
||
|
progname=`basename_ "$1"`
|
||
7 years ago
|
bs='\'
|