[det]doc_latex(+Spec,
+OutFile, +Options)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
user: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]).
