From 5a2820a08756bffdb376e44d0a9dfe2d75f7fc37 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Tue, 6 Sep 2022 09:05:19 +0200
Subject: [PATCH] [Doc] fix file name in devman include
---
doc/developer/tutorial.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/developer/tutorial.tex b/doc/developer/tutorial.tex
index 49a6d9a2256..b80f21bf5d4 100644
--- a/doc/developer/tutorial.tex
+++ b/doc/developer/tutorial.tex
@@ -1039,7 +1039,7 @@ expression.} in the \texttt{dune} file.
We will use a function from the \textsf{Eva} plug-in in our example,
so we will add \texttt{frama-c-eva.core} to the \texttt{dune} file:
-\duneinput[linerange={5-5}]{./tutorial/viewcfg/v3-eva/dune-project}
+\duneinput[linerange={5-5}]{./tutorial/viewcfg/v3-eva/dune}
Now our plug-in can call all functions and access all types declared in
\textsf{Eva}'s public interface.
--
GitLab