On Tue, 26 Jul 2005, Vincent Siveton wrote: Hi Vincent,
Well, I think it should be checked, at least. It's easy to lose oversight with different directories (see maven-site/src/site/*/developers/). Perhaps the directories could be merged, and the file extensions determine the type of file it is (or using a 'magic' library) ? -- Kenney > Hi Kenney, > > > How about checking for src/apt/page.apt and > > src/xdoc/page.xml ( i.e. -> page.html )? > > Actually, the exception is only for an index file (ie index.*). > > Do you think that we can do the same thing for all duplicate files? > If you still think it's a good idea, I could implement it. > > Cheers, > > Vincent > > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [EMAIL PROTECTED] > For additional commands, e-mail: [EMAIL PROTECTED] > -- Kenney Westerhof http://www.neonics.com GPG public key: http://www.gods.nl/~forge/kenneyw.key --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
