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

Tom Tromey tromey@redhat.com
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


More information about the Java mailing list