From faa22df091613de7cb1b91ed7f64e5fed6fae812 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Wed, 9 May 2018 13:54:32 +0200
Subject: One can build all the HTML doc using default.nix.

---
 default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'default.nix')

diff --git a/default.nix b/default.nix
index 0b4794274..effee720d 100644
--- a/default.nix
+++ b/default.nix
@@ -90,9 +90,9 @@ stdenv.mkDerivation rec {
 
   prefixKey = "-prefix ";
 
-  buildFlags = optionals buildDoc [ "world" "sphinx" ];
+  buildFlags = [ "world" ] ++ optional buildDoc "doc-html";
 
-  installTargets = [ "install" ] ++ optional buildDoc "install-doc-sphinx";
+  installTargets = [ "install" ] ++ optional buildDoc "install-doc-html";
 
   inherit doCheck;
 
-- 
cgit v1.2.3