From fa014fae5f0dd9aca6abaf8840c432864ed63287 Mon Sep 17 00:00:00 2001 From: Richard Jones Date: Thu, 9 Sep 2010 22:42:26 +0100 Subject: [PATCH] generator: Fix documentation for 'is-file' command. (cherry picked from commit 22aa9268f548eab9763311a080859d8cf2257a93) --- src/generator.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/generator.ml b/src/generator.ml index e5fd335..9ce6541 100755 --- a/src/generator.ml +++ b/src/generator.ml @@ -1424,9 +1424,9 @@ See also C, C, C."); [["is_file"; "/known-1"]]); InitISOFS, Always, TestOutputFalse ( [["is_file"; "/directory"]])], - "test if file exists", + "test if a regular file", "\ -This returns C if and only if there is a file +This returns C if and only if there is a regular file with the given C name. Note that it returns false for other objects like directories. -- 1.8.3.1