diff Doc/perl/python.perl @ 7581:0f565c7fe4bb legacy-trunk

Misc. revisions to LaTeX2HTML support.
author Fred Drake <fdrake@acm.org>
date Fri, 06 Mar 1998 21:20:08 +0000
parents 59b1ab01c286
children 0cf2ffaf4bd7
line wrap: on
line diff
--- a/Doc/perl/python.perl	Fri Mar 06 21:18:55 1998 +0000
+++ b/Doc/perl/python.perl	Fri Mar 06 21:20:08 1998 +0000
@@ -99,7 +99,7 @@
 sub do_cmd_manpage{
     # two parameters:  \manpage{name}{section}
     local($_) = @_;
-    local($any_next_pair_pr_rx3) = "$OP(\\d+)$CP([\\s\\S]*)$OP\\3$CP";
+#    local($any_next_pair_pr_rx3) = "$OP(\\d+)$CP([\\s\\S]*)$OP\\3$CP";
     s/$next_pair_pr_rx$any_next_pair_pr_rx3/<i>\2<\/i>(\4)/;
     $_;
 }
@@ -154,7 +154,7 @@
 sub do_cmd_deprecated{
     # two parameters:  \deprecated{version}{whattodo}
     local($_) = @_;
-    local($any_next_pair_pr_rx3) = "$OP(\\d+)$CP([\\s\\S]*)$OP\\3$CP";
+#    local($any_next_pair_pr_rx3) = "$OP(\\d+)$CP([\\s\\S]*)$OP\\3$CP";
     local($release,$action) = ($2, $4);
     s/$next_pair_pr_rx$any_next_pair_pr_rx3//;
     "<b>Deprecated since release $release.</b>"
@@ -630,15 +630,12 @@
     # Insert the right magic to jump to the module definition.  This should
     # work most of the time, at least for repeat builds....
     local($_) = @_;
-    local($any_next_pair_pr_rx3) = "$OP(\\d+)$CP([\\s\\S]*)$OP\\3$CP";
-    s/$next_pair_pr_rx$any_next_pair_pr_rx3//;
-    local($module,$text,$node,$key) = ($2, $4, '', "module$2");
-    $key =~ s/_//g;
-    # XXX somewhat bogus computation of $node
-#    $node = $external_labels{$key} unless
-#      ($node = $ref_files{$key});
-    $node = $key;
-    "<p>Module <tt><b><a href=\"$node#$key\">$module</a></b></tt>"
+    local($opt_arg) = "(\\[([^\\]]*)])?";
+#    local($any_next_pair_pr_rx3) = "$OP(\\d+)$CP([\\s\\S]*)$OP\\3$CP";
+    s/$opt_arg$any_next_pair_pr_rx3$any_next_pair_pr_rx5//;
+    local($module,$text,$key) = ($4, $6, $2);
+    $key = $module if not $key;
+    "<p>Module <tt><b><a href=\"module-$key.html\">$module</a></b></tt>"
       . "&nbsp;&nbsp;&nbsp;($text)</p>"
       . $_;
 }