steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

io.pathnames-docs: fix a copy-paste error

master
Alexander Iljin 2020-07-13 22:32:30 +02:00 committed by John Benediktsson
parent 671aa228f3
commit d1782a23cc
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
core/io/pathnames/pathnames-docs.factor
View File

@ -57,7 +57,7 @@ HELP: append-path
HELP: prepend-path HELP: prepend-path
{ $values { "path1" "a pathname string" } { "path2" "a pathname string" } { "path" "a pathname string" } } { $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 { $examples
{ $unchecked-example "USING: io.pathnames prettyprint ; { $unchecked-example "USING: io.pathnames prettyprint ;
\"second.txt\" \"first\" prepend-path ." \"second.txt\" \"first\" prepend-path ."