Heh. Looks like Dirk created/moved the menus.dtd the other day. Any reason why we should be using menus.dtd Dirk?
Betwixt, Pool, Launcher and DBCP are using it. Hen On Sun, 29 Feb 2004, Stephen Colebourne wrote: > As I started looking at updating some of the websites, I realised that we > have two competing approaches: > - incl_nav.xml > - menus.dtd > > I have been updating everything to use the former, but I suspect others may > be updating towards the latter. Have we agreed on which to use? If so, can > we mark the other as deprecated in the file ;-) > > Stephen > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [EMAIL PROTECTED] > For additional commands, e-mail: [EMAIL PROTECTED] > --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
