Installation of info files

Author(s): The Ciao Development Team.

This module defines predicates to update (register and unregister) the dir Info directory files.

Usage and interface

Library usage:
:- use_module(ciaobld(info_installer)).
Exports:
- Predicates:
  dirfile_install_info/2, dirfile_uninstall_info/2.

Documentation on exports

PREDICATEdirfile_install_info/2

Usage:dirfile_install_info(InfoFile,TargetDir)

Includes InfoFile in the dir file at TargetDir. If no dir file exist, a default one is created.

PREDICATEdirfile_uninstall_info/2

Usage:dirfile_uninstall_info(InfoFile,TargetDir)

Removes InfoFile from the dir file at TargetDir.

Documentation on imports

This module has the following direct dependencies:

System library modules:
pathnames, process, system.
Packages:
prelude, initial, condcomp, assertions, assertions/assertions_basic, regtypes, fsyntax.