# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1386338043 18000
# Node ID afdc823563de23f4931d52f9f8a8324bdfc4f256
# Parent  5890ba37827c59598f9569ab37767eb64c4cc8a2
Small reformatting and documentation for '-print-cinclude'

diff -r 5890ba37827c -r afdc823563de doc/manual.tex
--- a/doc/manual.tex	Wed Nov 06 13:54:07 2013 +0400
+++ b/doc/manual.tex	Fri Dec 06 08:54:03 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.
diff -r 5890ba37827c -r afdc823563de src/main.mlton.sml
--- a/src/main.mlton.sml	Wed Nov 06 13:54:07 2013 +0400
+++ b/src/main.mlton.sml	Fri Dec 06 08:54:03 2013 -0500
@@ -56,10 +56,10 @@
 		               raise Code OS.Process.success)
         fun printNumericVersion () = (print (Config.versionNumber ^ "\n");
 			              raise Code OS.Process.success)
-        fun printCCompiler () = (print ((Settings.getCCompiler ()) ^ "\n");
-			              raise Code OS.Process.success)
-        fun printCInclude () = (print ((Config.includ) ^ "\n");
-			              raise Code OS.Process.success)
+        fun printCCompiler () = (print (Settings.getCCompiler () ^ "\n");
+			         raise Code OS.Process.success)
+        fun printCInclude () = (print (Config.includ ^ "\n");
+			        raise Code OS.Process.success)
 
         fun doArgs args =
             case args of