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
This commit is contained in:
Philip Withnall
2023-11-29 10:26:37 +00:00
parent f6a1599e3c
commit e8edaeeb87
6 changed files with 16 additions and 14 deletions

View File

@@ -11,7 +11,7 @@ if get_option('man')
endforeach
endif
if get_option('gtk_doc')
if get_option('documentation')
# GVariant specification is currently standalone
rst2html5 = find_program('rst2html5', 'rst2html5.py', required: false)