From 1d96628d4d830e0e00219c81672bc8919724e622 Mon Sep 17 00:00:00 2001
From: Tim Head <betatim@gmail.com>
Date: Mon, 8 Jun 2020 13:25:02 +0200
Subject: [PATCH] Add sphinx-autobuild to gitpod setup

---
 .gitpod.yml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.gitpod.yml b/.gitpod.yml
index c15d1534e..f89636401 100644
--- a/.gitpod.yml
+++ b/.gitpod.yml
@@ -1,9 +1,10 @@
 tasks:
   - init: |
+      pip3 install sphinx-autobuild
       pip3 install -r docs/doc-requirements.txt
       pip3 install -e.
     command: |
-      cd docs && make html &&  cd build/html && python3 -m http.server 8080
+      sphinx-autobuild docs/source/ docs/build/html/
     name: Sphinx preview
 ports:
-- port: 8080
+- port: 8000