docs-option.patch 442 B

12345678910111213
  1. diff --git a/meson.build b/meson.build
  2. index f347c6a78..947a0947d 100644
  3. --- a/meson.build
  4. +++ b/meson.build
  5. @@ -480,7 +480,7 @@ summary({
  6. 'GIO MIME sniffing': use_gio_mime,
  7. 'MediaLib': use_medialib,
  8. 'Introspection': build_gir,
  9. - 'Documentation': build_docs,
  10. + 'Documentation': get_option('documentation'),
  11. 'Manual pages': get_option('man'),
  12. 'Relocatable': relocatable,
  13. 'Build tests': get_option('tests'),