comparison doc/manual.tex @ 1928:f1c211936557

Merge
author Adam Chlipala <adam@chlipala.net>
date Mon, 09 Dec 2013 17:25:53 -0500
parents 44f607a7f4cd afdc823563de
children 1484ba362062
comparison
equal deleted inserted replaced
1927:b6aee1d5b9b1 1928:f1c211936557
272 \item \texttt{-path NAME VALUE}: Set the value of path variable \texttt{\$NAME} to \texttt{VALUE}, for use in \texttt{.urp} files. 272 \item \texttt{-path NAME VALUE}: Set the value of path variable \texttt{\$NAME} to \texttt{VALUE}, for use in \texttt{.urp} files.
273 273
274 \item \texttt{-prefix PREFIX}: Equivalent to the \texttt{prefix} directive from \texttt{.urp} files 274 \item \texttt{-prefix PREFIX}: Equivalent to the \texttt{prefix} directive from \texttt{.urp} files
275 275
276 \item \texttt{-print-ccompiler}: Print the C compiler being used. 276 \item \texttt{-print-ccompiler}: Print the C compiler being used.
277
278 \item \texttt{-print-cinclude}: Print the name of the directory where C/C++ header files are installed.
277 279
278 \item \texttt{-protocol [http|cgi|fastcgi|static]}: Set the protocol that the generated application speaks. 280 \item \texttt{-protocol [http|cgi|fastcgi|static]}: Set the protocol that the generated application speaks.
279 \begin{itemize} 281 \begin{itemize}
280 \item \texttt{http}: This is the default. It is for building standalone web servers that can be accessed by web browsers directly. 282 \item \texttt{http}: This is the default. It is for building standalone web servers that can be accessed by web browsers directly.
281 283