- 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
- Label to use for the link to the file.
- Absolute location of the referenced file.
- Explicitely provided link; overrule link computation.
- Map the final extension if OldExt-NewExt is in Pairs.
- List of
file(Name, Link) that specifies that we must
user Link for the given physical file Name.
- 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