Adapt doc/share/conf.py to sphinx4#21

asarhaddon wants to merge 1 commit intoAdaCore:masterAdaCore/aunit:masterfrom

asarhaddon:doc-conf-sphinx4asarhaddon/aunit:doc-conf-sphinx4Copy head branch name to clipboard