| Did you know ... | Search Documentation: |
| doc_index.pl -- Create indexes |
doc_for_dir(+Dir, +Options) is detREADME file (if any), a table holding with
links to objects and summary sentences and finaly the TODO
file (if any).
dir_index(+Dir, +Options)//doc_files.pl
file_index_header(+File, +Options)// is det
doc_file_href(+Path, -HREF) is detL: (mapped to /L:)
object_summaries(+Objects, +Section, +Options)// is det
doc_links(+Directory, +Options)// is det
places_menu(Current)// is detselect menu with entries for all loaded directories
source_directory(+Dir) is semidet