user-tools/header.sed

   1 #!/bin/sh
   2
   3 exec sed -e '/^\r\?$/q' "$@"
   4
   5
   6 true <<EOF
   7
   8 =pod
   9
  10 =head1 NAME
  11
  12 header.sed - Echo the input stream up to the first empty line (usual end-of-header marker)
  13
  14 =cut
  15
  16 EOF