diff options
author | schmidt <douglascraigschmidt@users.noreply.github.com> | 1997-10-10 19:55:00 +0000 |
---|---|---|
committer | schmidt <douglascraigschmidt@users.noreply.github.com> | 1997-10-10 19:55:00 +0000 |
commit | cae30be98931ec02e9567e7f92ccf08462cf4692 (patch) | |
tree | 9a9b97ba44c8bd264b857e06fa77faf09ac332d7 /bin/info2man | |
parent | a00e540b347619e5a74eecb8a22ebfd628df9c20 (diff) | |
download | ATCD-cae30be98931ec02e9567e7f92ccf08462cf4692.tar.gz |
*** empty log message ***
Diffstat (limited to 'bin/info2man')
-rwxr-xr-x | bin/info2man | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/info2man b/bin/info2man index 437865759bc..e38551c68ff 100755 --- a/bin/info2man +++ b/bin/info2man @@ -29,9 +29,9 @@ export OSE_VERSION_ROOT BINDIR="$OSE_VERSION_ROOT/$OSE_HOST/bin" LIBDIR=${CLASSINFOLIBDIR-"$OSE_VERSION_ROOT/bin"} -AWK="${AWK-nawk}" +AWK="${AWK-gawk}" -if test "$AWK" = "nawk" +if test "$AWK" = "gawk" then VARG="-v" fi |