Fix building documentation#854

mfriesenegger wants to merge 2 commits intoopenmainframeproject:masteropenmainframeproject/feilong:masterfrom

mfriesenegger:publish-updated-docsmfriesenegger/feilong:publish-updated-docsCopy head branch name to clipboard