# Make HTML files that will point to the right GIF files. # Usage: bghtml file file file.... # # Hacked into existence by Larry McVoy (lm@sun.com now lm@sgi.com). # Copyright (c) 1995 Larry McVoy. GPLed software. # $Id$ eval 'exec perl -Ss $0 "$@"' if 0; $bar = 0; for ($i = 0; $i <= $#ARGV; ++$i) { $file = $ARGV[$i]; $file =~ s|tmp/||; $file =~ s|.bg$||; if ($i > 0) { $prev = $ARGV[$i - 1]; $prev =~ s|tmp/||; $prev =~ s|.bg$||; $prev_html = "${prev}.html"; } if ($i < $#ARGV) { $next = $ARGV[$i + 1]; $next =~ s|tmp/||; $next =~ s|.bg$||; $next_html = "${next}.html"; } $name = "HTML/${file}.html"; open(F, ">$name"); print F "Man page for this benchmark
\n";
$str = sprintf("\n", ++$bar);
print F "$str
";
print F "\n";
print F "
\n";
print F "
\n"
if $i > 0;
print F "
\n"
if $i < $#ARGV;
close(F);
}
exit 0;