Thiago Kenji Okada acadafb073 circleci: rename "-Dbuild_docs" -> "-Dwith_docs" ...

This was renamed in commit 3f2a671, but I think it was simply forgotten
in CI.

2021-01-06 00:08:21 -03:00

..

config.yml

circleci: rename "-Dbuild_docs" -> "-Dwith_docs"

2021-01-06 00:08:21 -03:00