diff options
Diffstat (limited to 'configure.in')
-rw-r--r-- | configure.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configure.in b/configure.in index 83e044f1b..abc77445b 100644 --- a/configure.in +++ b/configure.in | |||
@@ -1,4 +1,4 @@ | |||
1 | # $Id: configure.in,v 1.288 2001/06/09 02:16:29 mouring Exp $ | 1 | # $Id: configure.in,v 1.289 2001/06/09 02:26:59 mouring Exp $ |
2 | 2 | ||
3 | AC_INIT(ssh.c) | 3 | AC_INIT(ssh.c) |
4 | 4 | ||
@@ -1415,7 +1415,7 @@ fi | |||
1415 | AC_SUBST(INSTALL_SSH_PRNG_CMDS) | 1415 | AC_SUBST(INSTALL_SSH_PRNG_CMDS) |
1416 | 1416 | ||
1417 | 1417 | ||
1418 | AC_ARG_WITH(catman, | 1418 | AC_ARG_WITH(mantype, |
1419 | [ --with-mantype=man|cat|doc Set man page type], | 1419 | [ --with-mantype=man|cat|doc Set man page type], |
1420 | [ | 1420 | [ |
1421 | case "$withval" in | 1421 | case "$withval" in |