> > Discussion: use extern/ode or extern/ode/ode-0.03 ? > I would say use extern/ode or extern/ode-0.03 I'm personally for extern/ode. I don't think we should bother with version numbers in the directories themselves. A text file inside the directory, perhaps. This way the makefiles / project files don't have to be updated when we rebuild the libs from new sources. - Charles