RG> Can I ask that you provide a patch for this rather than a new document. RG> It makes it much easier to get it into SVN that way.
Done.
Thanks, I'll apply soon.
Some other question: (Of course) I'm trying to automate patch creation as an external tool in eclipse.
Much better is to install the subclipse plugin, right click on the files or directories you want to create the patch of and select Team > create patch.
http://www.eclipse-plugins.info/eclipse/search.jsp?query=subclipse
Ross
