make sure to build docs in ci builds (fixes #4269)

make sure to build docs in ci builds (fixes #4269) #5344