Fix uploading manuals to the wrong directory. Related: OS#5902 Change-Id: I44f138c4102ea74f8e88350e130a9303203d6440
Rename the manuals to their proper names. Change-Id: I8c020361c141c758bfb32562dbd7f34f4fd81c39