From ce8828e00736299daac95a30a8f65e76a54b2c65 Mon Sep 17 00:00:00 2001 From: Eduardo Cavazos Date: Thu, 13 Mar 2008 01:47:39 -0600 Subject: [PATCH] io.files-docs: fix bug --- core/io/files/files-docs.factor | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) 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 } "." } ;