Java web pages and #include virtual="/..."

Tue Feb 6 09:47:00 GMT 2001

>>>>> "Gerald" == Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at> writes:

Gerald> by using a script pointed out by Jason Molenda (Thanks!), I
Gerald> noticed that we have a couple of #include directives on the
Gerald> java pages:
Gerald> Can we just remove these statements? If we want to keep
Gerald> something like this, we have to ponder about it, to find a
Gerald> solution that also works for mirrors, especially www.gnu.org.
I think we can just remove them. I don't see what they point to, even
in the old java web pages. I think they must be vestigal.
Tom