From 45a1142a8e771aeccd19c83e3a52c5dade510c83 Mon Sep 17 00:00:00 2001 From: Robert Hensing Date: Wed, 17 Apr 2024 13:11:52 +0200 Subject: [PATCH] devShell: enable API docs Affects both the deps and the configure flags in configurePhase. --- package.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/package.nix b/package.nix index c9e50c399..1e5b9e449 100644 --- a/package.nix +++ b/package.nix @@ -94,8 +94,8 @@ # Whether to build the internal/external API docs, can be done separately from # everything else. -, enableInternalAPIDocs ? false -, enableExternalAPIDocs ? false +, enableInternalAPIDocs ? forDevShell +, enableExternalAPIDocs ? forDevShell # Whether to install unit tests. This is useful when cross compiling # since we cannot run them natively during the build, but can do so