scribeinfo1
Usage
scribeinfo [options]
[input] ...
Overview
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
Texinfosource file.
- .scr
-
a
Scribesource 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.