build: rename gtk_doc to documentation

This commit is contained in:
Georges Basile Stavracas Neto
2018-04-30 20:35:24 -03:00
parent bedc98b192
commit 5ff7afab88
2 changed files with 2 additions and 2 deletions
+1 -1
View File
@@ -1,2 +1,2 @@
option('tracing', type: 'boolean', value: false, description: 'add extra debugging information')
option('gtk_doc', type: 'boolean', value: false, description: 'use gtk-doc to build documentation')
option('documentation', type: 'boolean', value: false, description: 'use gtk-doc to build documentation')