-@deffn Command recover-file filename
-This function visits @var{filename}, but gets the contents from its
-last auto-save file. This is useful after the system has crashed, to
-resume editing the same file without losing all the work done in the
-previous session.
-
-An error is signaled if there is no auto-save file for @var{filename},
-or if @var{filename} is newer than its auto-save file. If
-@var{filename} does not exist, but its auto-save file does, then the
-auto-save file is read as usual. This last situation may occur if you
-visited a nonexistent file and never actually saved it.
-@end deffn
-