56 |
$ind = ""; |
$ind = ""; |
57 |
$name = $name0{$fm}; |
$name = $name0{$fm}; |
58 |
|
|
59 |
if ($name eq "Documentation") { |
# if ($name eq "Documentation") { |
60 |
$tmp = "<a href=\"http://eddy.csail.mit.edu/r2/latest/\">" |
# $tmp = "<a href=\"http://eddy.csail.mit.edu/r2/latest/\">" |
61 |
. "Documentation</a><br />\n"; |
# . "Documentation</a><br />\n"; |
62 |
$menu = join "", $menu, $tmp; |
# $menu = join "", $menu, $tmp; |
63 |
next; |
# next; |
64 |
} |
# } |
65 |
|
|
66 |
if (length($name1{$fm}) > 0) { |
if (length($name1{$fm}) > 0) { |
67 |
$ind = " "; |
$ind = " "; |