Remove -local from User Guide PDF file

The User Guide is build for trunk only and the Jenkins job does not
set currently the release.path.name variable. Thus, the published
PDF file is called user-guide-local.pdf. Even with a changed
Jenkins job, this would be wrong, it should just be user-guide.pdf.

Change-Id: I9b9b0affadde2d483e4778322470d6a9e8db3cf1
Merge "Remove -local from User Guide PDF file"