Database of Documentation References

Author(s): Jose F. Morales.

This module stores and manages all the documentation references (indices, sections, bibliography, etc.). It includes the generation of the table of contents.

Documentation on exports

PREDICATE
No further documentation available for this predicate.

PREDICATE

Usage:

  • Description: Prepare references for the translation of the current file.
  • Call and exit should be compatible with:
    (docstate/1)docstate(Arg1)

PREDICATE

Usage:

REGTYPE

Usage:

  • Description: A tree of sections

PREDICATE

Usage: secttree_resolve(LabelName,Tree,Link)

  • Description: Locate in the section tree Tree the section with label name LabelName and return the Link to the section.
  • Call and exit should be compatible with:
    (string/1)LabelName is a string (a list of character codes).
    (doctree/1)Intermediate tree representation for documentation
    (doclink/1)A link to a document label