0697d9
Update repository documentation manual. - Rename `trunk/Manual' documentation entry to `trunk/Manuals'.