*** txt2html.pl.orig	Mon Jun 29 00:30:39 1998
--- txt2html.pl	Mon Jun 29 04:17:18 1998
***************
*** 1,13 ****
! : # Use perl
!     eval 'exec perl -S $0 "$@"'
!     if 0;
! 
! # It's faster to use something like #!/usr/bin/perl but you have to
! # know where perl is on your system.  I didn't want to have to tell
! # people how to do this, so I don't distribute it that way.  You
! # really ought to change it though.  On my machine, it saves about a
! # half a second per invokation.
! 
  #
  # txt2html.pl
  # Convert raw text to something with a little HTML formatting
--- 1,4 ----
! #!/usr/bin/perl
  #
  # txt2html.pl
  # Convert raw text to something with a little HTML formatting
