Commit 2809a12a authored by Pietro Abate's avatar Pietro Abate

[r2005-07-08 09:51:30 by afrisch] Empty log message

Original author: afrisch
Date: 2005-07-08 09:53:03+00:00
parent e1eb2f35
.TH "cdo2ml" "1"
.SH "NAME"
cdo2ml \(em Extracts ML stub code from a CDuce object file.
.SH "SYNOPSIS"
.PP
\fBcdo2ml\fR [\fB-static\fP] [\fB\fBfile.cdo\fP\fP]
.SH "Description"
.PP
See the CDuce users' manual:
\fBhttp://www.cduce.org/manual_interfacewithocaml.html#link\fP.
.SH "Author"
.PP
Alain Frisch <Alain.Frisch@ens.fr>.
.\" created by instant / docbook-to-man, Fri 04 Mar 2005, 13:28
<!DOCTYPE refentry PUBLIC "-//OASIS//DTD DocBook V3.1//EN">
<refentry id="cduce">
<refmeta>
<refentrytitle>cdo2ml</refentrytitle>
<manvolnum>1</manvolnum>
</refmeta>
<refnamediv>
<refname>cdo2ml</refname>
<refpurpose>Extracts ML stub code from a CDuce object file.</refpurpose>
</refnamediv>
<refsynopsisdiv>
<cmdsynopsis>
<command>cdo2ml</command>
<arg choice="opt"><option>-static</option></arg>
<arg><option><filename>file.cdo</filename></option></arg>
</cmdsynopsis>
</refsynopsisdiv>
<refsect1>
<title>Description</title>
<para>
See the CDuce users' manual:
<filename>http://www.cduce.org/manual_interfacewithocaml.html#link</filename>.
</para>
</refsect1>
<refsect1>
<title>Author</title>
<para>
Alain Frisch <email>&lt;Alain.Frisch@ens.fr&gt;</email>.
</para>
</refsect1>
</refentry>
.\" $Header: /cvsroot/cduce/doc/cduce.1,v 1.13 2004/07/04 01:16:43 afrisch Exp $
.\"
.\" transcript compatibility for postscript use.
.\"
.\" synopsis: .P! <file.ps>
.\"
.de P!
.fl
\!!1 setgray
.fl
\\&.\"
.fl
\!!0 setgray
.fl \" force out current output buffer
\!!save /psv exch def currentpoint translate 0 0 moveto
\!!/showpage{}def
.fl \" prolog
.sy sed -e 's/^/!/' \\$1\" bring in postscript file
\!!psv restore
.
.de pF
.ie \\*(f1 .ds f1 \\n(.f
.el .ie \\*(f2 .ds f2 \\n(.f
.el .ie \\*(f3 .ds f3 \\n(.f
.el .ie \\*(f4 .ds f4 \\n(.f
.el .tm ? font overflow
.ft \\$1
..
.de fP
.ie !\\*(f4 \{\
. ft \\*(f4
. ds f4\"
' br \}
.el .ie !\\*(f3 \{\
. ft \\*(f3
. ds f3\"
' br \}
.el .ie !\\*(f2 \{\
. ft \\*(f2
. ds f2\"
' br \}
.el .ie !\\*(f1 \{\
. ft \\*(f1
. ds f1\"
' br \}
.el .tm ? font underflow
..
.ds f1\"
.ds f2\"
.ds f3\"
.ds f4\"
'\" t
.ta 8n 16n 24n 32n 40n 48n 56n 64n 72n
.TH "cduce" "1"
.SH "NAME"
cduce \(em The CDuce compiler/interpreter/toplevel
.SH "SYNOPSIS"
.PP
\fBcduce\fR [ \fBOPTIONS\fP \&...] [\fB--arg \fBargument\fP\fP \&...]
\fBcduce\fR [ \fBOPTIONS\fP \&...] [\fB\-\-arg \fBargument\fP\fP \&...]
.PP
\fBcduce\fR [ \fBOPTIONS\fP \&...] [\fB \fBfile.cd\fP | --stdin \fP] [\fB--arg \fBargument\fP\fP \&...]
\fBcduce\fR [ \fBOPTIONS\fP \&...] [\fB \fBfile.cd\fP | \-\-stdin \fP] [\fB\-\-arg \fBargument\fP\fP \&...]
.PP
\fBcduce --compile\fR [ \fBOPTIONS\fP \&...] [ \fB\fBfile.cd\fP\fP ]
\fBcduce \-\-compile\fR [ \fBOPTIONS\fP \&...] [ \fB\fBfile.cd\fP\fP ]
.PP
\fBcduce --run\fR [ \fBOPTIONS\fP \&...] [ \fB\fBfile.cdo\fP\fP \&...] [\fB--arg \fBargument\fP\fP \&...]
\fBcduce \-\-run\fR [ \fBOPTIONS\fP \&...] [ \fB\fBfile.cdo\fP\fP \&...] [\fB\-\-arg \fBargument\fP\fP \&...]
.SH "Description"
.PP
See the CDuce users' manual:
......@@ -81,4 +28,4 @@ and forums can be found on the \fICDuce\fP website:
.PP
Alain Frisch <Alain.Frisch@ens.fr>. Small contributions by
Giuseppe Castagna <Giuseppe.Castagna@ens.fr>, Julien Demouth <Julien.Demouth@ens.fr>, and Stefano Zacchiroli <zack@di.ens.fr>.
.\" created by instant / docbook-to-man, Sun 04 Jul 2004, 03:11
.\" created by instant / docbook-to-man, Fri 08 Jul 2005, 11:52
......@@ -12,4 +12,4 @@ See the CDuce users' manual:
.SH "Author"
.PP
Alain Frisch <Alain.Frisch@ens.fr>.
.\" created by instant / docbook-to-man, Fri 04 Mar 2005, 13:28
.\" created by instant / docbook-to-man, Fri 08 Jul 2005, 11:52
.TH "validate" "1"
.SH "NAME"
validate \(em Validates one or more documents with respect to the schema given as a first argument of the the command.
.SH "SYNOPSIS"
.PP
\fBvalidate\fR schema-document instance-document \&...
.SH "Description"
.PP
The \fBvalidate\fR reads the file \fBschema-document\fP and use it to validate the subsequent xml documents.
.SH "Reporting bugs"
.PP
Report bugs to bugs@cduce.org.
.SH "AUTHOR"
.PP
Stefano Zacchiroli zack@bononia.it.
.\" created by instant / docbook-to-man, Fri 04 Mar 2005, 13:24
<!DOCTYPE refentry PUBLIC "-//OASIS//DTD DocBook V3.1//EN">
<refentry id="validate">
<refmeta>
<refentrytitle>validate</refentrytitle>
<manvolnum>1</manvolnum>
</refmeta>
<refnamediv>
<refname>validate</refname>
<refpurpose>Validates one or more documents with respect to the schema given as a first argument of the the command.
</refpurpose>
</refnamediv>
<refsynopsisdiv>
<cmdsynopsis>
<command>validate</command>
<arg choice="req">
schema-document
</arg>
<arg choice="req" rep="repeat">
instance-document
</arg>
</cmdsynopsis>
</refsynopsisdiv>
<refsect1>
<title>Description</title>
<para>
The <command>validate</command> reads the file <filename>schema-document</filename> and use it to validate the subsequent xml documents.
</para>
</refsect1>
<refsect1>
<title>Reporting bugs</title>
<para>
Report bugs to <email>bugs@cduce.org</email>.
</para>
</refsect1>
<refsect1>
<title>AUTHOR</title>
<para>
Stefano Zacchiroli <email>zack@bononia.it</email>.
</para>
</refsect1>
</refentry>
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