On 5 Oct 2008, at 12:00, James O'Gorman wrote: > > Hi all, > > Does anyone (Ben in particular) have any objection to me merging the > docs and documentation directories? I was thinking of moving docs > under > documentation as api-docs (or something along those lines) and then > renaming documentation to docs. Sounds a good plan to me! Ben