From b8aa4981b9daa30d21e04d60272cd7ef2d7fa2c9 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: