From d701a80bfdd75cd607900ec259cc9f39de25eb8e Mon Sep 17 00:00:00 2001 From: Richard Jones Date: Thu, 9 Sep 2010 22:42:57 +0100 Subject: [PATCH] generator: Fix incorrect shortdesc in docs for 'is-dir' command. (cherry picked from commit 55b6e18f95950b1a2ec69d549c9e6c8a5758d166) --- src/generator.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/generator.ml b/src/generator.ml index 9ce6541..c762ae6 100755 --- a/src/generator.ml +++ b/src/generator.ml @@ -1437,7 +1437,7 @@ See also C."); [["is_dir"; "/known-3"]]); InitISOFS, Always, TestOutputTrue ( [["is_dir"; "/directory"]])], - "test if file exists", + "test if a directory", "\ This returns C if and only if there is a directory with the given C name. Note that it returns false for -- 1.8.3.1