diff --git a/doc/developer/advance.tex b/doc/developer/advance.tex index f9238051ad7b05070294fae5e1fc635eccb37830..2126b98e739a28d39f8e3446419f194140211eca 100644 --- a/doc/developer/advance.tex +++ b/doc/developer/advance.tex @@ -1006,8 +1006,10 @@ indicated in the \texttt{libraries} field: (libraries frama-c.kernel frama-c.gui frama-c-myplugin.core) ) -(plugin (optional) (name myplugin-gui) (libraries frama-c-myplugin.gui) (site (frama-c plugins_gui))) -\end{lstlisting} +(plugin (optional) + (name myplugin-gui) + (libraries frama-c-myplugin.gui) + (site (frama-c plugins_gui))) \end{dunecode} \subsection{Build and \texttt{Makefile.in}}