diff options
author | Adam Chlipala <adam@chlipala.net> | 2013-12-06 08:54:03 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2013-12-06 08:54:03 -0500 |
commit | 377d1b9ccdf923b6803dc63a66babd90f08ba3f7 (patch) | |
tree | 75bd065fbd4b3cc2a28b74389d458566606761da /doc | |
parent | 4800d8054ee97979a4706daa178127985957b016 (diff) |
Small reformatting and documentation for '-print-cinclude'
Diffstat (limited to 'doc')
-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 ac12c3b7..84af835f 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. |