io.files-docs: fix bug
parent
d5572b6218
commit
ce8828e007
|
@ -141,7 +141,7 @@ HELP: file-info
|
||||||
{ $link +symbolic-link+ } } } }
|
{ $link +symbolic-link+ } } } }
|
||||||
|
|
||||||
{ "size" "Size of the file in bytes" }
|
{ "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" } "." }
|
{ $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." } ;
|
{ $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
|
HELP: file-modified
|
||||||
{ $values { "path" "a pathname string" } { "n" "a non-negative integer or " { $link f } } }
|
{ $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 } "." } ;
|
{ $description "Outputs a file's last modification time, since midnight January 1, 1970. If the file does not exist, outputs " { $link f } "." } ;
|
||||||
|
|
Loading…
Reference in New Issue