diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2013-12-09 17:25:53 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2013-12-09 17:25:53 -0500 |
| commit | 0c8bb96d679f083438ceb0bff70d79cb6ff19f7f (patch) | |
| tree | 42a98dfa7c7fef29d0f0f0621671617376172100 /doc/manual.tex | |
| parent | 049f9219ead236d4db6c7341db0bcb5944d69943 (diff) | |
| parent | 40fffc31a12b6b6bae3998cc0ff6aee30f8fe07b (diff) | |
Merge
Diffstat (limited to 'doc/manual.tex')
| -rw-r--r-- | doc/manual.tex | 2 |
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. |