do_cmd_maketitle(): No <hr> at the end of the "title page".

This commit is contained in:
Fred Drake 1998-07-28 21:52:57 +00:00
parent 1e4973be73
commit 514cd87d40
1 changed files with 1 additions and 1 deletions

View File

@ -871,7 +871,7 @@ sub do_cmd_maketitle {
if ($t_email) {
$the_title .= "\n<p>$t_email</p>";
}# else { $the_title .= "</p>" }
$the_title . "<hr>\n" . $_ ;
$the_title . $_ ;
}