removing compiled manual from the repository

Does nothing but removes the compiled manual from the branch.