|Did you know ...||Search Documentation:|
A directory index consists of the contents of the file
README.TXT), followed by a table holding all currently
loaded source-files that appear below the given directory (i.e. traversal
recursive) and for each file a list of public predicates and
their descriptive summary. Finally, if a file
exists, its content is added at the end of the directory index.