From f9aeffdba34c164626ff276f33431bfccd3b5944 Mon Sep 17 00:00:00 2001
From: bobturneruk <bob.turner.uk@gmail.com>
Date: Tue, 12 May 2020 13:36:49 +0100
Subject: [PATCH] build with dot

---
 README.md | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/README.md b/README.md
index 171c0369..c8773758 100644
--- a/README.md
+++ b/README.md
@@ -222,6 +222,13 @@ The documentation can be compiled as follows:
     sphinx-apidoc -o source/ ../GPy/
     make html
 
+alternatively:
+
+```{shell}
+cd doc
+sphinx-build -b html -d build/doctrees -D graphviz_dot='<path to dot>' source build/html
+```
+
 The HTML files are then stored in doc/build/html
 
 ### Commit new patch to devel