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

Tom Tromey
Tue Feb 6 09:47:00 GMT 2001

>>>>> "Gerald" == Gerald Pfeifer <> 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

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.


More information about the Java mailing list