- applications
- file(+Path, Options)//
- Trap translation of \
file(+Path, Options). The first clause reduces the label of the file to the plain file-name if the file is inside the help-system.
file(+Path, Options). The first clause
reduces the label of the file to the plain file-name if the file
is inside the help-system.