From ab7e216f6cd186fe0aa5228be81e949b127ce6c3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Vladim=C3=ADr=20Vondru=C5=A1?= Date: Tue, 29 Dec 2020 23:01:00 +0100 Subject: [PATCH] Doc++ --- doc/building.dox | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/building.dox b/doc/building.dox index 2520edffe..1fa81609b 100644 --- a/doc/building.dox +++ b/doc/building.dox @@ -656,7 +656,8 @@ Options controlling the build: - `BUILD_PLUGINS_STATIC` --- Build plugins as static. By default, plugins are built as dynamic. Independent of the `BUILD_STATIC` option to allow having static libraries with dynamic plugins and vice versa. To some extent it's - also possible to have only a subset of plugins built as static --- set `MAGNUM__BUILD_STATIC` for particular plugins to `ON` or `OFF` to + also possible to have only a subset of plugins built as static --- set + `MAGNUM__BUILD_STATIC` for particular plugins to `ON` or `OFF` to override this option. - `BUILD_DEPRECATED` --- Include deprecated APIs in the build. Enabled by default to preserve backwards compatibility, disabling it forces you to