summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2013-12-09 17:25:53 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2013-12-09 17:25:53 -0500
commite92b616737083d2f847db38c9cb8918f96595a04 (patch)
tree42a98dfa7c7fef29d0f0f0621671617376172100 /doc
parent31ab9f8c18c9e071392090960a8041febf7a2807 (diff)
parent377d1b9ccdf923b6803dc63a66babd90f08ba3f7 (diff)
Merge
Diffstat (limited to 'doc')
-rw-r--r--doc/manual.tex2
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/manual.tex b/doc/manual.tex
index db1bfe1c..968d93eb 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -275,6 +275,8 @@ sqlite3 path/to/database/file <app.sql
\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.