# The previous line was a section
# header so we better underline it.
die "Invalid header length" unless defined $header_len;
print "# " . "=" x $header_len . "\n";
$hit_header = 0;
# The previous line was a section
# header so we better underline it.
die "Invalid header length" unless defined $header_len;
print "# " . "=" x $header_len . "\n";
$hit_header = 0;