From 653bc1cd80819cbfb81f2082a8240cfda7a54ab7 Mon Sep 17 00:00:00 2001 From: erg Date: Thu, 3 Apr 2008 18:59:04 -0500 Subject: [PATCH] update docs --- core/io/files/files-docs.factor | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/core/io/files/files-docs.factor b/core/io/files/files-docs.factor index d1a59f3604..85e17ded46 100755 --- a/core/io/files/files-docs.factor +++ b/core/io/files/files-docs.factor @@ -28,11 +28,14 @@ ARTICLE: "pathnames" "Pathname manipulation" { $subsection } ; ARTICLE: "directories" "Directories" -"Current and home directories:" +"Current directory:" +{ $subsection with-directory } +{ $subsection current-directory } +"Home directory:" +{ $subsection home } +"Current system directory:" { $subsection cwd } { $subsection cd } -{ $subsection with-directory } -{ $subsection home } "Directory listing:" { $subsection directory } { $subsection directory* }