Update release process to deal with documentation
(cherry picked from commit 743bb45)