NAME
scribeinfo (version 0.7)
SYNOPSIS
scribeinfo [options] [input]...
DESCRIPTION
This manual page is not meant to be exhaustive. The complete documentation for the programming language Scribe can be found at the following url (http://www-sop.inria.fr/mimosa/fp/Scribe). This manual page only document the scribeinfo compiler that compiles Texinfo source files into Scribe, source files. These Scribe files can be compiled by the scribe compiler in order to produce HTML, TeX, Info or Nroff target files.
SUFFIXES
The scribe compiler uses file suffixes in order to select amongst its possible targets which to choose. These suffixes are:
- .texi
-
a Texinfo source file.
- .scr
-
a Scribe source file.
- .sui
-
a Scribe url index file.
OPTIONS
- -h
-
This help message.
- --options
-
Display the options and exit.
- --sexp
-
Produce only s-expressions.
- -o <out>
-
Set the destination file.
- --sui <info> <sui>
-
Associate a SUI file with an INFO file.
REPORTING BUGS
Report buts to [email protected].
SEE ALSO
scribe(1), scribebibtex(1), bigloo(1), info(1), texinfo(1), makeinfo(1), texi2html(1).
AUTHOR
Manuel Serrano, http://www-sop.inria.fr/mimosa/Manuel.Serrano