Implement locally stored docs. Uses web when local not available.

2026-10-17 02:37:12 +00:00 · 2026-09-30 12:11:45 -06:00
parent edf268dc0f
commit cd4863e773
8 changed files with 165 additions and 0 deletions
@@ -33,6 +33,9 @@ option('install-appdata', type: 'boolean',
 option('install-plugin-metainfo', type: 'boolean', value: false,
  description: 'Installs metainfo files for enabled plugins, useful when distros create split packages'
 )
+option('install-docs', type: 'boolean', value: true,
+  description: 'Build and install the local HTML documentation'
+)

 # Plugins
 option('with-checksum', type: 'boolean',