Fix the doc build step.
Merge pull request #3506 from metajack/fix-doc-build

Fix the doc build step.

Reviewed-by: SimonSapin