Merge pull request #19209 from alalek:fix_docs_build_options_parallel
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 24 Dec 2020 17:02:19 +0000 (17:02 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 24 Dec 2020 17:02:19 +0000 (17:02 +0000)

Trivial merge