(cherry picked from commit 0a5472e697)
0a5472e697
All the generated documentation is put in doc/_build.