configure --with-catman is supposed to be --with-mantype

[Dave Dykstra]

There's a typo in configure.in that's specifying --with-catman as an
option but the help message says --with-mantype.  Here's a patch.

- Dave Dykstra


*** configure.in.old	Fri Jun  8 13:23:13 2001
--- configure.in	Fri Jun  8 13:17:47 2001
***************
*** 1422,1428 ****
  AC_SUBST(INSTALL_SSH_PRNG_CMDS)
  
  
! AC_ARG_WITH(catman,
  	[  --with-mantype=man|cat|doc  Set man page type],
  	[
  		case "$withval" in
--- 1422,1428 ----
  AC_SUBST(INSTALL_SSH_PRNG_CMDS)
  
  
! AC_ARG_WITH(mantype,
  	[  --with-mantype=man|cat|doc  Set man page type],
  	[
  		case "$withval" in