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.

History

Fixed in 8.5.15 (👉158daf8) make_library_index/1 to use the `xref` flag while reading the file header. Avoids unwanted term expansion.