*** make-ssh-known-hosts.pl.in.orig	Wed Apr 23 08:40:05 1997
--- make-ssh-known-hosts.pl.in	Fri Apr 25 12:38:21 1997
***************
*** 87,93 ****
  $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;
--- 87,93 ----
  $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;