make_library

Documentation
- Reference manual
  - Overview
    - Automatic loading of libraries
- Packages

Availability:built-in

make_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.