From 05d9d443a8285623d07146d5c49d3925b8b7c7b7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rapha=C3=ABl=20Barrois?= <raphael.barrois@polytechnique.org>
Date: Wed, 12 Aug 2020 22:44:30 +0200
Subject: [PATCH] Include documentation tools in dev installs.

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index a892821b..43b83e07 100644
--- a/Makefile
+++ b/Makefile
@@ -31,7 +31,7 @@ clean:
 # DOC: Install and/or upgrade dependencies
 update:
 	pip install --upgrade pip setuptools
-	pip install --upgrade --editable .[dev]
+	pip install --upgrade --editable .[dev,doc]
 	pip freeze