2.14 Automatic loading of libraries
AllApplicationManualNameSummaryHelp

  • Documentation
    • Reference manual
      • Overview
        • Automatic loading of libraries
          • autoload_path/1
          • make_library_index/1
          • make_library_index/2
          • reload_library_index/0
    • Packages
Availability:built-in
Sourcemake_library_index(+Directory)
Create an index for this directory. The index is written to the file’INDEX.pl' in the specified directory. Fails with a warning if the directory does not exist or is write protected.