This fixes the docs deploy issues caused by the mike 2.0.0 release that
removed/renamed some flags, see
https://github.com/jimporter/mike/releases/tag/v2.0.0
Signed-off-by: Alexander Trost <galexrt@googlemail.com>
(cherry picked from commit 4a48c14861)