From 377d1b9ccdf923b6803dc63a66babd90f08ba3f7 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Fri, 6 Dec 2013 08:54:03 -0500
Subject: Small reformatting and documentation for '-print-cinclude'

---
 doc/manual.tex | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'doc')

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.
-- 
cgit v1.2.3