diff --git a/core/io/files/files-docs.factor b/core/io/files/files-docs.factor index 6eb025b6fd..55458b96b8 100755 --- a/core/io/files/files-docs.factor +++ b/core/io/files/files-docs.factor @@ -141,7 +141,7 @@ HELP: file-info { $link +symbolic-link+ } } } } { "size" "Size of the file in bytes" } - { "modified" { "Last modification " { $link timestamp } } } } + { "modified" "Last modification timestamp." } } ; @@ -250,10 +250,6 @@ HELP: directory* { $description "Outputs the contents of a directory named by " { $snippet "path" } "." } { $notes "Unlike " { $link directory } ", this word prepends the directory's path to all file names in the list." } ; -! HELP: file-length -! { $values { "path" "a pathname string" } { "n" "a non-negative integer or " { $link f } } } -! { $description "Outputs the length of the file in bytes, or " { $link f } " if it does not exist." } ; - HELP: file-modified { $values { "path" "a pathname string" } { "n" "a non-negative integer or " { $link f } } } { $description "Outputs a file's last modification time, since midnight January 1, 1970. If the file does not exist, outputs " { $link f } "." } ;