Don't build the API docs in the devshell

The API docs build is extremely noisy (#11841) and probably not many
people care about it anyway. Also, they get rebuild on *every* ninja
invocation which is generally a waste of time.

Of course, you can still build the docs via `nix build
.#nix-{internal,external}-api-docs`, which is pretty fast.
This commit is contained in:
Eelco Dolstra 2024-11-12 20:08:27 +01:00
parent 14edb78d53
commit 850ccb72cc

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',
) )