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

diff --git a/Doc/perl/python.perl b/Doc/perl/python.perl
index 38e19ce9f019af441f766456781188049494bfbd..ac1b6278a72a1de77a53b4466c735b4e113b2290 100644 (file)
--- 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 . $_ ;
 }