/usr/share/hol88-2.02.19940316/help/ENTRIES/unlink.doc is in hol88-help 2.02.19940316-35.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 | \DOC unlink
\TYPE {unlink : (string -> void)}
\SYNOPSIS
Deletes a file.
\DESCRIBE
If {name} is the name of an existing file, then {unlink `name`} will remove
that file (if there are other links to the file, this will merely remove a
single link). Under Unix, the effect is the same as the {rm} command.
\FAILURE
A call to {unlink} may fail in various system-related ways, in particular if
{name} does not exist or the user does not have write permission for the
current directory.
\COMMENTS
This call is somewhat Unix-related, and may behave differently under other
operating systems.
\SEEALSO
link, system.
\ENDDOC
|