Merge pull request #11868 from DeterminateSystems/no-api-docs-in-devshell

Don't build the API docs in the devshell
This commit is contained in:
John Ericson 2024-11-13 15:56:29 -05:00 committed by GitHub
commit 2d153bd59b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -1,6 +1,6 @@
# vim: filetype=meson # vim: filetype=meson
option('doc-gen', type : 'boolean', value : true, option('doc-gen', type : 'boolean', value : false,
description : 'Generate documentation', description : 'Generate documentation',
) )