e51c5c9d41
Fix a problem with the move to publishdocs where the web pages were copied to the wrong location for checkbuild. We previously copied these differently for checking and publishing and need to do this again. Change-Id: Ibb95a3a15e76913efff52f44eacb8a23c20768f7