file(+FileName)// is det

 file(+FileName, +Options)// is det

Create a link to another filename if the file exists. Called by \file(File) terms in the DOM term generated by wiki.pl. Supported options are:

label(+Label)

Label to use for the link to the file.

absolute_path(+Path)

Absolute location of the referenced file.

href(+HREF)

Explicitely provided link; overrule link computation.

map_extension(+Pairs)

Map the final extension if OldExt-NewExt is in Pairs.

files(+Map)

List of file(Name, Link) that specifies that we must user Link for the given physical file Name.

edit_handler(+Id)

HTTP handler Id to call if the user clicks the edit button.

To be done

- Translation of files to HREFS is a mess. How to relate these elegantly?