Skip to content
Snippets Groups Projects
Commit 2926c326 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[devman] fix code example layout

parent 3e1c512f
No related branches found
No related tags found
No related merge requests found
......@@ -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}}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment