From 1d802c5b2dbf2f4f2141f0e8a41e2fb54ab7983e Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 20 Sep 2024 14:42:57 +0200 Subject: [PATCH] fix doc --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: