docs: Build not in spearate build/ subdir

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/Makefile b/Makefile
index 7d47638a4608e1f5715c2d333732410f459c9126..d96131b23dc034d50e69a40f1b1166d27f95dc17 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -220,8 +220,8 @@ stamp/cargo.deploy-build: $(call rsrcs,.)
 
 sphinx-doc: docs/html/index.html
 
-docs/build/html/index.html: docs/conf.py $(wildcard docs/*.md docs/*.rst)
-       $(SPHINXBUILD) -M html docs docs/build $(SPHINXOPTS)
+docs/html/index.html: docs/conf.py $(wildcard docs/*.md docs/*.rst)
+       $(SPHINXBUILD) -M html docs docs $(SPHINXOPTS)
 
 #---------- wasm ----------
 

diff --git a/docs/.gitignore b/docs/.gitignore
index 378eac25d311703f3f2cd456d8036da525cd0366..10971d675c1aa8a4d77a5176fcbd9bb8a1fc0a36 100644 (file)
--- a/docs/.gitignore
+++ b/docs/.gitignore
@@ -1 +1,2 @@
-build
+doctrees
+html