/* Hamlet, August 1997. -- The manual menuing/paging system. */
inherit "/std/index";
void setup() {
set_index_root("/doc/man/");
set_mergedirs( ({ "local/", "mudos/" }) );
//set_save_file("/save/man.o"); /* To avoid indexing every time */
remove_file_security(); /* All man docs should be viewable by all? */
set_global_alias_file("_GLOBAL_ALIASES");
}