diff doc/manual.tex @ 1335:79557535b843

-prefix command-line option
author Adam Chlipala <adam@chlipala.net>
date Sun, 12 Dec 2010 10:44:19 -0500
parents dab85a49e0ab
children 660a2715e2bd
line wrap: on
line diff
--- a/doc/manual.tex	Sun Dec 12 10:35:04 2010 -0500
+++ b/doc/manual.tex	Sun Dec 12 10:44:19 2010 -0500
@@ -238,6 +238,8 @@
 
 \item \texttt{-path NAME VALUE}: Set the value of path variable \texttt{\$NAME} to \texttt{VALUE}, for use in \texttt{.urp} files.
 
+\item \texttt{-prefix PREFIX}: Equivalent to the \texttt{prefix} directive from \texttt{.urp} files
+
 \item \texttt{-protocol [http|cgi|fastcgi]}: 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.