d117fc
Rename main development of repository documentation from `trunk/Manuals/Docbook' to `trunk/Manuals/Repository'.