Commit 658fa165 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2005-03-04 12:31:51 by afrisch] Man pages

Original author: afrisch
Date: 2005-03-04 12:31:52+00:00
parent eeb23304
MAN = cduce.1 dtd2cduce.1 validate.1 cdo2ml.1 MAN = cduce.1 dtd2cduce.1 cduce_validate.1 cdo2ml.1 cduce_mktop.1
all: $(MAN) all: $(MAN)
......
.\" $Header: /cvsroot/cduce/doc/Attic/cdo2ml.1,v 1.1 2004/07/03 09:30:38 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 "cdo2ml" "1" .TH "cdo2ml" "1"
.SH "NAME" .SH "NAME"
cduce \(em Extracts ML stub code from a CDuce object file. cdo2ml \(em Extracts ML stub code from a CDuce object file.
.SH "SYNOPSIS" .SH "SYNOPSIS"
.PP .PP
\fBcdo2ml\fR [\fB-static\fP] [\fB\fBfile.cdo\fP\fP] \fBcdo2ml\fR [\fB-static\fP] [\fB\fBfile.cdo\fP\fP]
...@@ -65,4 +12,4 @@ See the CDuce users' manual: ...@@ -65,4 +12,4 @@ See the CDuce users' manual:
.SH "Author" .SH "Author"
.PP .PP
Alain Frisch <Alain.Frisch@ens.fr>. Alain Frisch <Alain.Frisch@ens.fr>.
.\" created by instant / docbook-to-man, Sat 03 Jul 2004, 11:29 .\" created by instant / docbook-to-man, Fri 04 Mar 2005, 13:28
...@@ -8,7 +8,7 @@ ...@@ -8,7 +8,7 @@
</refmeta> </refmeta>
<refnamediv> <refnamediv>
<refname>cduce</refname> <refname>cdo2ml</refname>
<refpurpose>Extracts ML stub code from a CDuce object file.</refpurpose> <refpurpose>Extracts ML stub code from a CDuce object file.</refpurpose>
</refnamediv> </refnamediv>
......
.TH "cduce_mktop" "1"
.SH "NAME"
cduce_mktop \(em Produce a customized CDuce toplevel/compiler.
.SH "SYNOPSIS"
.PP
\fBcduce_mktop\fR [\fB\fBtarget\fP\fP] [\fB\fBprimitive file\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>cduce_mktop</refentrytitle>
<manvolnum>1</manvolnum>
</refmeta>
<refnamediv>
<refname>cduce_mktop</refname>
<refpurpose>Produce a customized CDuce toplevel/compiler.</refpurpose>
</refnamediv>
<refsynopsisdiv>
<cmdsynopsis>
<command>cduce_mktop</command>
<arg><option><filename>target</filename></option></arg>
<arg><option><filename>primitive file</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/Attic/validate.1,v 1.2 2004/07/03 08:42:38 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 "validate" "1" .TH "validate" "1"
.SH "NAME" .SH "NAME"
validate \(em Validates one or more documents with respect to the schema given as a first argument of the the command. validate \(em Validates one or more documents with respect to the schema given as a first argument of the the command.
...@@ -66,4 +13,4 @@ Report bugs to bugs@cduce.org. ...@@ -66,4 +13,4 @@ Report bugs to bugs@cduce.org.
.SH "AUTHOR" .SH "AUTHOR"
.PP .PP
Stefano Zacchiroli zack@bononia.it. Stefano Zacchiroli zack@bononia.it.
.\" created by instant / docbook-to-man, Sat 03 Jul 2004, 09:53 .\" created by instant / docbook-to-man, Fri 04 Mar 2005, 13:24
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