comparison doc/manual.tex @ 1923:afdc823563de

Small reformatting and documentation for '-print-cinclude'
author Adam Chlipala <adam@chlipala.net>
date Fri, 06 Dec 2013 08:54:03 -0500
parents 779c390382b9
children f1c211936557
comparison
equal deleted inserted replaced
1922:5890ba37827c 1923:afdc823563de
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