# 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;