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

freddrake · freddrake · commit 514cd87d40cd · 1998-07-28T21:52:57.000Z
diff --git a/Doc/perl/python.perl b/Doc/perl/python.perl
@@ -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 . $_ ;
 }
 
 
