Fix documentation generation procedure

Because the remote repository may contain changes that are not
procedurally generated and are not present locally, ensure that the
local branch is synchronized before regenerating the documentation.