diff --git a/Makefile b/Makefile
index 985ca5e12..2a3cb1e66 100644
--- a/Makefile
+++ b/Makefile
@@ -44,7 +44,7 @@ doc: build
 			-R $(shell pwd)/_build/install/default/lib/coq/user-contrib/elpi_elpi elpi_elpi \
 			-R $(shell pwd)/_build/install/default/lib/coq/user-contrib/elpi elpi \
 			$(tut) &&) true
-	@cp stlc.html doc/
+	@cp _build/default/examples/stlc.html doc/
 	@cp etc/tracer.png doc/
 
 clean: