- 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.