From f09a3cdfb4c451d5759caca1837f513064c261d8 Mon Sep 17 00:00:00 2001 From: Sebastien Bourdeauducq Date: Tue, 26 Feb 2019 17:29:12 +0800 Subject: [PATCH] do not build singlehtml manual --- artiq/pkgs/artiq-manual.nix | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/artiq/pkgs/artiq-manual.nix b/artiq/pkgs/artiq-manual.nix index a659608..2d0b816 100644 --- a/artiq/pkgs/artiq-manual.nix +++ b/artiq/pkgs/artiq-manual.nix @@ -53,8 +53,6 @@ let # TODO: starting with NixOS 19.XX, drop sphinxcontrib-wavedrom-1_3_1 # and simplify `targets`: - targets = [ - "html" "singlehtml" - ] ++ (lib.optional (builtins.compareVersions sphinxcontrib-wavedrom.version "2.0.0" != -1) "latexpdf"); + targets = [ "html" ] ++ (lib.optional (builtins.compareVersions sphinxcontrib-wavedrom.version "2.0.0" != -1) "latexpdf"); in builtins.listToAttrs (map (target: { name = target; value = artiq-manual target; }) targets)