/*  Creator: make/0

    Purpose: Provide index for autoload
*/

index((doc_save), 2, pldoc_files, doc_files).
index((doc_pack), 1, pldoc_files, doc_files).
index((doc_enable), 1, pldoc_http, doc_http).
index((doc_server), 1, pldoc_http, doc_http).
index((doc_server), 2, pldoc_http, doc_http).
index((doc_browser), 0, pldoc_http, doc_http).
index((doc_browser), 1, pldoc_http, doc_http).
index((doc_latex), 3, pldoc_latex, doc_latex).
index((latex_for_file), 3, pldoc_latex, doc_latex).
index((latex_for_wiki_file), 3, pldoc_latex, doc_latex).
index((latex_for_predicates), 3, pldoc_latex, doc_latex).
index((print_markdown), 2, pldoc_markdown, doc_markdown).
index((doc_collect), 1, pldoc, pldoc).
index((pldoc_loading), 0, pldoc, pldoc).
