Renaming dirs to avoid conflicts in doc merge
Authored by: fer_perez 2007-12-02
Parent: [r4539]
Child: [r4541]