| 1 |
#! /usr/bin/env perl |
#! /usr/bin/perl |
| 2 |
|
|
| 3 |
# Ed Hill |
# Ed Hill |
| 4 |
# Tue Dec 2 20:17:27 EST 2003 |
# Tue Dec 2 20:17:27 EST 2003 |
| 5 |
|
|
| 6 |
# Assemble the web pages from XML files. |
# Assemble the web pages from XML files. |
| 7 |
|
|
| 8 |
$topdir = "./"; |
$topdir = "."; |
| 9 |
$file_list = $topdir . "/order.txt"; |
$file_list = $topdir . "/order.txt"; |
| 10 |
open(ORDER,$file_list) or die "ERROR: can't open \"$file_list\"\n"; |
open(ORDER,$file_list) or die "ERROR: can't open \"$file_list\"\n"; |
| 11 |
$_ = join(" ", <ORDER>); |
$_ = join(" ", <ORDER>); |
| 55 |
foreach $fm (@flist) { |
foreach $fm (@flist) { |
| 56 |
$ind = ""; |
$ind = ""; |
| 57 |
$name = $name0{$fm}; |
$name = $name0{$fm}; |
| 58 |
|
|
| 59 |
|
if ($name eq "Documentation") { |
| 60 |
|
$tmp = "<a href=\"http://eddy.csail.mit.edu/r2/latest/\">" |
| 61 |
|
. "Documentation</a><br />\n"; |
| 62 |
|
$menu = join "", $menu, $tmp; |
| 63 |
|
next; |
| 64 |
|
} |
| 65 |
|
|
| 66 |
if (length($name1{$fm}) > 0) { |
if (length($name1{$fm}) > 0) { |
| 67 |
$ind = " "; |
$ind = " "; |
| 68 |
$name = $name1{$fm}; |
$name = $name1{$fm}; |
| 79 |
} |
} |
| 80 |
$menu = join "", $menu, $tmp; |
$menu = join "", $menu, $tmp; |
| 81 |
} |
} |
| 82 |
$tmp = "<a href=\"./htdig\" />Search</a><br />\n"; |
# $tmp = "<a href=\"./htdig\" />Search</a><br />\n"; |
| 83 |
$menu = join "", $menu, $tmp; |
# $menu = join "", $menu, $tmp; |
| 84 |
|
|
| 85 |
# Create the output |
# Create the output |
| 86 |
$_ = $template; |
$_ = $template; |