Fix name of CI variable for deploying web manuals

Marco Morandinirequested to merge
test_fixes into develop

Merge request reports