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

Original author: afrisch
Date: 2005-03-04 12:31:52+00:00

doc/Makefile

-MAN = cduce.1 dtd2cduce.1 validate.1 cdo2ml.1
+MAN = cduce.1 dtd2cduce.1 cduce_validate.1 cdo2ml.1 cduce_mktop.1
 
 all: $(MAN)
 

doc/cdo2ml.1

-.\" $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" 
 .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" 
 .PP 
 \fBcdo2ml\fR [\fB-static\fP]  [\fB\fBfile.cdo\fP\fP]  
@@ -65,4 +12,4 @@ See the CDuce users' manual:
 .SH "Author" 
 .PP 
 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 

doc/cdo2ml.docbook

@@ -8,7 +8,7 @@
 </refmeta>
 
 <refnamediv>
-<refname>cduce</refname>
+<refname>cdo2ml</refname>
 <refpurpose>Extracts ML stub code from a CDuce object file.</refpurpose>
 </refnamediv>
 

doc/cduce_mktop.1

+.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 

doc/cduce_mktop.docbook

+<!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>

doc/validate.1 → doc/cduce_validate.1

-.\" $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" 
 .SH "NAME" 
 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.
 .SH "AUTHOR" 
 .PP 
 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