#!/usr/local/bin/perl

$file = shift(@ARGV);
open(FILE, "<$file") || die "Couldn't open $file\n";

while ($line = <FILE>) {
  $_ = $_ . $line;
}
close(FILE);

# Change the cover links

s!../ISPCover.gif!ISPCover.gif!g;


# Change the main page links

s!../IntroSciProg.html!IntroSciProg.html!g;


# Output to the file

open(FILE, ">$file") || die "Couldn't open $file\n";

print FILE $_;
close(FILE);