Process one or more objects, writing the LaTeX output to
OutFile. Spec is one of:
- Name / Arity
- Generate documentation for predicate
- Name // Arity
- Generate documentation for DCG rule
- File
- If File is a prolog file (as defined by
prolog_file_type/2), process using
latex_for_file/3, otherwise process using
latex_for_wiki_file/3.
Typically Spec is either a list of filenames or a list of
predicate indicators. Defined options are:
- stand_alone(+Bool)
- If
true
(default), create a document that can be run
through LaTeX. If false
, produce a document to be
included in another LaTeX document.
- public_only(+Bool)
- If
true
(default), only emit documentation for
exported predicates.
- section_level(+Level)
- Outermost section level produced. Level is the
name of a LaTeX section command. Default is
section
.
- summary(+File)
- Write summary declarations to the named File.
- modules(+List)
- If [[Name/Arity]] needs to be resolved, search for the
predicates in the given modules.
- module(+Module)
- Same as
modules([Module])
.