From 1c0c5b420244bbe25a8a79d36d8bdf8c431ca3c8 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 5 Nov 2021 10:36:20 +0100
Subject: [PATCH] [Doc] Fix developer manual compilation
---
doc/developer/advance.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/developer/advance.tex b/doc/developer/advance.tex
index 132d43441a2..508230d7c8c 100644
--- a/doc/developer/advance.tex
+++ b/doc/developer/advance.tex
@@ -959,7 +959,7 @@ the configuration header of a test (or a test suite).
& \texttt{from inout eva scope variadic} for tests under \texttt{./tests} directory
\\
& \texttt{SCRIPT}\nscodeidxdef{Test!Directive}{SCRIPT}
-& ML scripts to be loaded with each subsequent run (their compilation is performed by the \texttt{frama-c] command).
+& ML scripts to be loaded with each subsequent run (their compilation is performed by the \texttt{frama-c} command).
& \textit{None}
\\
& \texttt{LIBS}\nscodeidxdef{Test!Directive}{LIBS}
--
GitLab