From 13eb0374b725644cf9005050595a5f98bcdbf4e2 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 9555698..c81eb8b 100755 --- a/src/generator.ml +++ b/src/generator.ml @@ -1435,9 +1435,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