*** make-ssh-known-hosts.pl.in.orig	Thu Mar 27 09:04:06 1997
--- make-ssh-known-hosts.pl.in	Fri Mar 28 15:11:19 1997
***************
*** 84,90 ****
  $debug = 5;
  $defserver = '';
  $bell='\a';
! $public_key = '/etc/ssh_host_key.pub';
  $private_ssh_known_hosts = "/tmp/ssh_known_hosts$$";
  $timeout = 60;
  $ping_timeout = 3;
--- 84,90 ----
  $debug = 5;
  $defserver = '';
  $bell='\a';
! $public_key = '@ETCDIR@/ssh_host_key.pub';
  $private_ssh_known_hosts = "/tmp/ssh_known_hosts$$";
  $timeout = 60;
  $ping_timeout = 3;