Hartmut Steffin <[EMAIL PROTECTED]> writes:
> Hi,
> it should not be too difficult to do this with a script (under linux) or one of
> those (norten) tools (find all files having text xxx raplaced by yyy).
>
> the second possibilty is to simply leave the extensions as .jsp
> nobody should bother ...
No, he said he wants to re-serve the pages as plain HTML. Unless he adds an
extension to his webserver saying that .jsp files should be served as
text/html, that's not going to work.
---------------------------------------------------------------
Dan Harkless | To help prevent SPAM contamination,
GNU Wget co-maintainer | please do not mention this email
http://sunsite.dk/wget/ | address in Usenet posts -- thank you.