Eelco Dolstra 850ccb72cc 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.

2024-11-12 20:18:33 +01:00

319 B

Raw Blame History

View Raw