Commit 9846dad0 authored by Pietro Abate's avatar Pietro Abate

[r2004-02-24 16:23:40 by beppe] added doc on validate and dtd2cduce

Original author: beppe
Date: 2004-02-24 16:23:40+00:00
parent 4c96f152
.TH "CDUCE" "1" "07 October 2003" "" ""
.\" This manpage has been automatically generated by docbook2man
.\" from a DocBook document. This tool can be found at:
.\" <http://shell.ipoline.com/~elmert/comp/docbook2X/>
.\" Please send any bug reports, improvements, comments, patches,
.\" etc. to Steve Cheng <steve@ggi-project.org>.
.TH "CDUCE" "1" "23 February 2004" "" ""
.SH NAME
cduce \- The CDuce interpreter
......@@ -7,10 +12,10 @@ cduce \- The CDuce interpreter
\fBcduce\fR [ \fB OPTIONS\fR\fI ...\fR ] [ \fB \fIfile[.cd]\fB\fR\fI ...\fR ] [ \fB--arg \fIargument\fB\fR\fI ...\fR ]
\fBcduce --compile\fR [ \fB OPTIONS\fR\fI ...\fR ] [ \fB \fIfile[.cd]\fB\fR\fI ...\fR ]
\fBcduce --compile\fR [ \fB OPTIONS\fR\fI ...\fR ] [ \fB \fIfile[.cd]\fB\fR\fI ...\fR ]
\fBcduce --run\fR [ \fB OPTIONS\fR\fI...\fR ] [ \fB \fIfile[.cdo]\fB\fR\fI ...\fR ] [ \fB--arg \fIargument\fB\fR\fI ...\fR ]
\fBcduce --run\fR [ \fB OPTIONS\fR\fI ...\fR ] [ \fB \fIfile[.cdo]\fB\fR\fI ...\fR ] [ \fB--arg \fIargument\fB\fR\fI ...\fR ]
.SH "DESCRIPTION"
.PP
......
......@@ -224,8 +224,8 @@ and forums can be found on the <emphasis>CDuce</emphasis> website:
<refsect1>
<title>AUTHOR</title>
<para>
Alain Frisch <email>Alain.Frisch@ens.fr</email> with small contributions of
Giuseppe Castagna <email>Giuseppe.Castagna@ens.fr</email>, and Stefano Zacchiroli <email>zack@di.ens.fr</email>.
Alain Frisch <email>Alain.Frisch@ens.fr</email>. Small contributions by
Giuseppe Castagna <email>Giuseppe.Castagna@ens.fr</email>, Julien Demouth <email>Julien.Demouth@ens.fr</email>, and Stefano Zacchiroli <email>zack@di.ens.fr</email>.
</para>
</refsect1>
......
.\" This manpage has been automatically generated by docbook2man
.\" from a DocBook document. This tool can be found at:
.\" <http://shell.ipoline.com/~elmert/comp/docbook2X/>
.\" Please send any bug reports, improvements, comments, patches,
.\" etc. to Steve Cheng <steve@ggi-project.org>.
.TH "DTD2CDUCE" "1" "23 February 2004" "" ""
.SH NAME
dtd2cduce \- Transform a DTD file into a set of CDuce type declarations
.SH SYNOPSIS
\fBdtd2cduce\fR [ \fB prefix\fR ] \fB file.dtd\fR
.SH "DESCRIPTION"
.PP
The \fBdtd2cduce\fR reads the file \fIfile.dtd\fR
and outputs on the stadard input that set of CDuce type declarations that
translate the DTD. If a prefix is given in the command line then it is used to
prefix all the type names generated by the command
.SH "TODO"
.PP
Specify on the command line the elements that can be explicitly
kept in the translation in order to factorize it.
.SH "REPORTING BUGS"
.PP
Report bugs to <bugs@cduce.org>.
.SH "AUTHOR"
.PP
Alain Frisch <Alain.Frisch@ens.fr>.
<!DOCTYPE refentry PUBLIC "-//OASIS//DTD DocBook V3.1//EN">
<refentry id="dtd2cduce">
<refmeta>
<refentrytitle>dtd2cduce</refentrytitle>
<manvolnum>1</manvolnum>
</refmeta>
<refnamediv>
<refname>dtd2cduce</refname>
<refpurpose>Transform a DTD file into a set of CDuce type declarations</refpurpose>
</refnamediv>
<refsynopsisdiv>
<cmdsynopsis>
<command>dtd2cduce</command>
<arg choice="opt">
prefix
</arg>
<arg choice="req">
file.dtd
</arg>
</cmdsynopsis>
</refsynopsisdiv>
<refsect1>
<title>Description</title>
<para>
The <command>dtd2cduce</command> reads the file <filename>file.dtd</filename>
and outputs on the stadard input that set of CDuce type declarations that
translate the DTD. If a prefix is given in the command line then it is used to
prefix all the type names generated by the command
</para>
</refsect1>
<refsect1>
<title>TODO</title>
<para>
To specify on the command line the elements that can be explicitly
kept in the translation in order to factorize it.
</para>
</refsect1>
<refsect1>
<title>Reporting bugs</title>
<para>
Report bugs to <email>bugs@cduce.org</email>.
</para>
</refsect1>
<refsect1>
<title>AUTHOR</title>
<para>
Alain Frisch <email>Alain.Frisch@ens.fr</email>.
</para>
</refsect1>
</refentry>
.\" This manpage has been automatically generated by docbook2man
.\" from a DocBook document. This tool can be found at:
.\" <http://shell.ipoline.com/~elmert/comp/docbook2X/>
.\" Please send any bug reports, improvements, comments, patches,
.\" etc. to Steve Cheng <steve@ggi-project.org>.
.TH "VALIDATE" "1" "23 February 2004" "" ""
.SH NAME
validate \- Validates one or more documents with respect to the schema given as a first argument of the the command.
.SH SYNOPSIS
\fBvalidate\fR \fB schema-document\fR \fB instance-document\fR\fI ...\fR
.SH "DESCRIPTION"
.PP
The \fBvalidate\fR reads the file \fIschema-document\fR 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>.
<!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