Commit d1d252b9 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Update documentation of why3doc.

parent 7990ef5e
......@@ -1044,7 +1044,7 @@ Some constructs are interpreted:
\item[1-6] a heading of level 1 to 6 respectively
\item[h] raw HTML
\end{description}
\item \texttt{[\textsl{code}]} is a code escape: the text
\item \texttt{`\textsl{code}`} is a code escape: the text
\textsl{code} is typeset as \why code.
\end{itemize}
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment