Dola Woolfe wrote:
Exactly right.
I produce my static content programmatically.
Many pages are too complex to be generated otherwise.
Also, I get to write java not html.
When I want to change a font, I do it in one place not 1000 places.
Allright, explanation accepted and makes sense.
;-)
(We see all kinds on this forum, let me tell ya)
Now just as an idea : leaving everything as it is, apparently when you
download those pages via wget, you get them named as *.jsp, but they are
otherwise ok, yes ?
Would not the simplest way in that case be, to write a simple shell
script that goes through this hierarchy of files, and just renames them
to *.html ?
I would bet that for a shell script specialist, that would be a less
than 5-line script or so.
Or does that screw up inner links or something ?
---------------------------------------------------------------------
To unsubscribe, e-mail: users-unsubscr...@tomcat.apache.org
For additional commands, e-mail: users-h...@tomcat.apache.org
