Commit 25a01d55 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-05-25 10:17:06 by cvscast] Empty log message

Original author: cvscast
Date: 2003-05-25 10:17:06+00:00
parent 3f2e2576
.TH "CDUCE" "1" "" "CDUCE" "1" .TH "CDUCE" "1" "25th May 2003" "" ""
.SH NAME .SH NAME
cduce \- The CDuce interpreter cduce \- The CDuce interpreter
...@@ -6,15 +6,16 @@ cduce \- The CDuce interpreter ...@@ -6,15 +6,16 @@ cduce \- The CDuce interpreter
\fBcduce\fR [ \fB -v \fBcduce\fR [ \fB -v
--quiet --quiet
--silent\fR ] [ \fB --dump \fIfile\fB\fR ] [ \fB \fIfile.cd\fB\fR\fI ...\fR ] [ \fB--args \fIargument\fB\fR\fI ...\fR ] --licence\fR ] [ \fB --dump \fIfile\fB\fR ] [ \fB \fIfile.cd\fB\fR\fI ...\fR ] [ \fB--arg \fIargument\fB\fR\fI ...\fR ]
.SH "DESCRIPTION" .SH "DESCRIPTION"
.PP .PP
The \fBcduce\fR command considers all the .cd files on the command The \fBcduce\fR command considers all the .cd files on the command
line that follow the options as CDuce sources, and executes them line that follow the options as CDuce sources, and executes them
successively. If no CDuce file is given on the command line, the interpreter successively. If no CDuce file is given on the command line, the interpreter
uses the standard input. All the arguments that follow the --args option are uses the standard input. All the arguments that follow the --arg option are
passed to the source file(s). passed to the source file(s). If no CDuce file is given on the command line
then the interpreter uses the standard input.
.SH "OPTIONS" .SH "OPTIONS"
.PP .PP
This program follows the usual GNU command line syntax, This program follows the usual GNU command line syntax,
...@@ -45,8 +46,8 @@ Show version information and exit. ...@@ -45,8 +46,8 @@ Show version information and exit.
.SS "PROGRAM OPTIONS" .SS "PROGRAM OPTIONS"
.PP .PP
.TP .TP
\fB--args \fIarguments\fB\fR \fB--arg \fIarguments\fB\fR
All the arguments following \fB--args\fR are passed to the CDuce All the arguments following \fB--arg\fR are passed to the CDuce
program, in the variable \fBargv\fR (of type \fB[ String* program, in the variable \fBargv\fR (of type \fB[ String*
]\fR, which means sequence of character strings). ]\fR, which means sequence of character strings).
.SH "REPORTING BUGS" .SH "REPORTING BUGS"
...@@ -61,4 +62,4 @@ and forums can be found on the \fBCDuce\fR website: ...@@ -61,4 +62,4 @@ and forums can be found on the \fBCDuce\fR website:
.SH "AUTHOR" .SH "AUTHOR"
.PP .PP
Alain Frisch <Alain.Frisch@ens.fr> with small contributions of Alain Frisch <Alain.Frisch@ens.fr> with small contributions of
Giuseppe Castagna <Giuseppe.Castagna@ens.fr>, Stefano Zacchiroli <zack@di.ens.fr>. Giuseppe Castagna <Giuseppe.Castagna@ens.fr>, and Stefano Zacchiroli <zack@di.ens.fr>.
...@@ -18,7 +18,7 @@ ...@@ -18,7 +18,7 @@
<arg choice="opt"> <arg choice="opt">
<option>-v</option> <option>-v</option>
<option>--quiet</option> <option>--quiet</option>
<option>--silent</option> <option>--licence</option>
</arg> </arg>
<arg choice="opt"> <arg choice="opt">
<option>--dump <filename>file</filename></option> <option>--dump <filename>file</filename></option>
...@@ -26,7 +26,7 @@ ...@@ -26,7 +26,7 @@
<arg choice="opt" rep="repeat"> <arg choice="opt" rep="repeat">
<option><filename>file.cd</filename></option> <option><filename>file.cd</filename></option>
</arg> </arg>
<arg choice="opt" rep="repeat"><option>--args <filename>argument</filename></option></arg> <arg choice="opt" rep="repeat"><option>--arg <filename>argument</filename></option></arg>
</cmdsynopsis> </cmdsynopsis>
</refsynopsisdiv> </refsynopsisdiv>
...@@ -36,8 +36,9 @@ ...@@ -36,8 +36,9 @@
The <command>cduce</command> command considers all the .cd files on the command The <command>cduce</command> command considers all the .cd files on the command
line that follow the options as CDuce sources, and executes them line that follow the options as CDuce sources, and executes them
successively. If no CDuce file is given on the command line, the interpreter successively. If no CDuce file is given on the command line, the interpreter
uses the standard input. All the arguments that follow the --args option are uses the standard input. All the arguments that follow the --arg option are
passed to the source file(s). passed to the source file(s). If no CDuce file is given on the command line
then the interpreter uses the standard input.
</para> </para>
</refsect1> </refsect1>
...@@ -109,11 +110,11 @@ the interpreter is started again with the same option and file.</para> ...@@ -109,11 +110,11 @@ the interpreter is started again with the same option and file.</para>
<variablelist> <variablelist>
<varlistentry> <varlistentry>
<term><option>--args <filename>arguments</filename></option></term> <term><option>--arg <filename>arguments</filename></option></term>
<listitem> <listitem>
<para> <para>
All the arguments following <option>--args</option> are passed to the CDuce All the arguments following <option>--arg</option> are passed to the CDuce
program, in the variable <command>argv</command> (of type <command>[ String* program, in the variable <command>argv</command> (of type <command>[ String*
]</command>, which means sequence of character strings). ]</command>, which means sequence of character strings).
</para> </para>
...@@ -151,7 +152,7 @@ and forums can be found on the <emphasis>CDuce</emphasis> website: ...@@ -151,7 +152,7 @@ and forums can be found on the <emphasis>CDuce</emphasis> website:
<title>AUTHOR</title> <title>AUTHOR</title>
<para> <para>
Alain Frisch <email>Alain.Frisch@ens.fr</email> with small contributions of Alain Frisch <email>Alain.Frisch@ens.fr</email> with small contributions of
Giuseppe Castagna <email>Giuseppe.Castagna@ens.fr</email>, Stefano Zacchiroli <email>zack@di.ens.fr</email>. Giuseppe Castagna <email>Giuseppe.Castagna@ens.fr</email>, and Stefano Zacchiroli <email>zack@di.ens.fr</email>.
</para> </para>
</refsect1> </refsect1>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment