From d1782a23cce03585787c04bfaf0e2cf76a6acd96 Mon Sep 17 00:00:00 2001 From: Alexander Iljin Date: Mon, 13 Jul 2020 22:32:30 +0200 Subject: [PATCH] io.pathnames-docs: fix a copy-paste error --- core/io/pathnames/pathnames-docs.factor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/core/io/pathnames/pathnames-docs.factor b/core/io/pathnames/pathnames-docs.factor index 8f94200d15..638b2b7ff8 100644 --- a/core/io/pathnames/pathnames-docs.factor +++ b/core/io/pathnames/pathnames-docs.factor @@ -57,7 +57,7 @@ HELP: append-path HELP: prepend-path { $values { "path1" "a pathname string" } { "path2" "a pathname string" } { "path" "a pathname string" } } -{ $description "Appends " { $snippet "path2" } " and " { $snippet "path1" } " to form a pathname." } +{ $description "Prepends " { $snippet "path2" } " and " { $snippet "path1" } " to form a pathname." } { $examples { $unchecked-example "USING: io.pathnames prettyprint ; \"second.txt\" \"first\" prepend-path ."