*** make-ssh-known-hosts.pl.in.orig	Sun Feb 11 22:45:15 1996
--- make-ssh-known-hosts.pl.in	Sat Feb 17 17:55:08 1996
***************
*** 78,84 ****
  $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;
--- 78,84 ----
  $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;