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

Documentation on exports


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


    Removes InfoFile from the dir file at TargetDir.

      Documentation on imports

      This module has the following direct dependencies: