Mercurial > urweb
diff doc/manual.tex @ 1095:bed675db3aff
Dynamic linking of the runtime system
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 27 Dec 2009 13:18:32 -0500 |
parents | f1647f16097d |
children | 118ab9641a64 |
line wrap: on
line diff
--- a/doc/manual.tex Sun Dec 27 10:37:24 2009 -0500 +++ b/doc/manual.tex Sun Dec 27 13:18:32 2009 -0500 @@ -242,6 +242,8 @@ \end{itemize} \item \texttt{-sql FILENAME}: Set where a database set-up SQL script is written. + +\item \texttt{-static}: Link the runtime system statically. The default is to link against dynamic libraries. \end{itemize}