Use the \note and \warning macros where appropriate.
diff --git a/Doc/lib/libdl.tex b/Doc/lib/libdl.tex
index b9a3241..8d1220f 100644
--- a/Doc/lib/libdl.tex
+++ b/Doc/lib/libdl.tex
@@ -10,12 +10,10 @@
\UNIX{} platforms for handling dynamically linked libraries. It allows
the program to call arbitrary functions in such a library.
-\strong{Note:} This module will not work unless
-\begin{verbatim}
-sizeof(int) == sizeof(long) == sizeof(char *)
-\end{verbatim}
+\note{This module will not work unless
+\code{sizeof(int) == sizeof(long) == sizeof(char *)}
If this is not the case, \exception{SystemError} will be raised on
-import.
+import.}
The \module{dl} module defines the following function: