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

2026-10-21 04:07:14 +00:00 · 2026-10-20 13:00:52 -06:00
parent 9b65e5be73
commit c991c36561
8 changed files with 165 additions and 0 deletions
@@ -37,6 +37,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',