> I've also modified the configure script a bit to add a new target called > Dev-Minimal, which updates headers and such without reinstalling all the > zipfiles. I'll write that up and post it somewhere once I work out how to > get the pretty diff pages like you guys have. :-) svn add <list of files you created> (if any) svn diff > pretty.diff :) -- Adrien Destugues Elève ingénieur ENSSAT / GSoC candidate