do not build singlehtml manual

pull/16/head
Sebastien Bourdeauducq 2019-02-26 17:29:12 +08:00
parent 9af1d5bf30
commit f09a3cdfb4
1 changed files with 1 additions and 3 deletions

View File

@ -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)