Install built doc to SAGE_DOC#40807

kwankyu wants to merge 6 commits intosagemath:developsagemath/sage:developfrom

kwankyu:p/fix-doc-locationkwankyu/sage:p/fix-doc-locationCopy head branch name to clipboard