From 3f7a76dde6fa26f43daa99a98789f8d7de9d6582 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 21 Sep 2022 09:47:18 +0200
Subject: [PATCH] [Doc] minor fixes/improvements after review
---
doc/developer/advance.tex | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/doc/developer/advance.tex b/doc/developer/advance.tex
index d146755c99c..d1778a45efa 100644
--- a/doc/developer/advance.tex
+++ b/doc/developer/advance.tex
@@ -179,14 +179,13 @@ line, with each dependency as a subitem:
\end{lstlisting}
Note that \verb|camlp5| is not among the dependencies declared in
-\verb|libraries|; it is used by another component (\verb|gen_ast|, as
-mentioned in the comment).
+\verb|libraries|; it is used by another component, \verb|gen_ast|.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{\framac Makefiles}\label{adv:make}\codeidxdef{Makefile}
-\begin{target}not for standard plug-in developers.\end{target}
+\begin{target}standard plug-in developers.\end{target}
\begin{prereq}
Knowledge of \make.
--
GitLab