#! /local/bin/perl
#
# pre		--- produced pre-formatted HTML text
#
# Author: Oscar Nierstrasz (June 25, 1993)
# 4.8.93 -- incorporated graburl.

unshift(@INC,"/user/u1/oscar/Cmd/PerlLib");
require("url.pl");

if ($#ARGV >= $[) {
	foreach $file (@ARGV) {
		open(FILE,$file);
		&pre($file,FILE);
		close(FILE);
	}
}
else { &pre("stdin", stdin); }

sub pre {
	local($file,$input) = @_;
	print "<TITLE>Ascii file: $file</TITLE>\n<PRE>\n";
	while(<$input>) {
		study;
		s/&/&amp;/g;
		s/</&lt;/g;
		s/>/&gt;/g;
		&url'href;
		print;
	}
	print "</PRE>\n";
}

__END__

