COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	The UNDELETE command can be used to try to recover a file which has been
C00004 ENDMK
C⊗;
The UNDELETE command can be used to try to recover a file which has been
deleted accidentally.  The format is

    UNDELETE file
or
    UNDELETE newfile←oldfile

where oldfile is the one which was deleted and newfile is the name under
which the recovered version will be written.  The file can be recovered
only if the disk space it occupied has not yet been reassigned to another
file, so if you accidentally delete a file you should try this right away.
It may take time proportional to the amount of free disk space on the
system, which can be several minutes or more.

A file which can't be recovered this way may be recoverable from the
backup tapes which are made daily.  Use the LOCATE command to see what
versions of the file are available, and the PUMPKIN command to make a
request to have a file restored.