Philip Withnall e8edaeeb87 build: Rename -Dgtk_doc option to -Ddocumentation
Because the documentation is no longer built using gtk-doc.

Keep the old option around, but deprecated.

Signed-off-by: Philip Withnall <pwithnall@gnome.org>

Helps: #3037
2023-11-29 10:26:37 +00:00
..
2023-11-28 13:52:05 +00:00
2023-11-28 13:52:05 +00:00
2023-10-11 14:01:29 +01:00
2000-12-05 20:43:58 +00:00
2000-12-05 20:43:58 +00:00
2000-12-05 20:43:58 +00:00
2000-12-05 20:43:58 +00:00
2023-10-11 14:01:29 +01:00
2023-11-28 13:52:05 +00:00
2023-11-28 13:52:05 +00:00
2023-11-28 13:52:05 +00:00
2023-11-28 13:52:05 +00:00
2023-11-28 13:52:05 +00:00
2023-11-28 13:52:05 +00:00
2023-10-11 17:38:31 +01:00
2023-11-28 13:52:05 +00:00
2023-11-28 13:52:05 +00:00
2023-11-28 13:52:05 +00:00
2023-11-28 13:52:05 +00:00
2023-11-28 13:52:05 +00:00