diff 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
line wrap: on
line diff
--- a/doc/manual.tex	Mon Dec 09 17:23:25 2013 -0500
+++ b/doc/manual.tex	Mon Dec 09 17:25:53 2013 -0500
@@ -275,6 +275,8 @@
 
 \item \texttt{-print-ccompiler}: Print the C compiler being used.
 
+\item \texttt{-print-cinclude}: Print the name of the directory where C/C++ header files are installed.
+
 \item \texttt{-protocol [http|cgi|fastcgi|static]}: Set the protocol that the generated application speaks.
   \begin{itemize}
   \item \texttt{http}: This is the default.  It is for building standalone web servers that can be accessed by web browsers directly.