Loïc Blot 929a13a9a0 build: Allow disabling documentation build + print more build flags (#13871)
* build: permit to disable documentation build

* build: add a message about some BUILD_* flags
2023-10-09 15:35:12 +02:00
..
2023-09-09 18:49:33 +02:00
2022-04-08 14:55:21 +01:00
2016-01-09 15:11:43 -05:00