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

io.directories.search: fix a couple of examples

db4
Keita Haga 2010-12-23 05:15:20 +09:00
parent 2dad72e4e7
commit 7a9591674c
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
basis/io/directories/search/search-docs.factor
View File

@ -64,7 +64,7 @@ HELP: find-by-extension
} }
{ $description "Searches a directory for all files with the given extension. File extension and filenames are converted to lower-case and compared using the " { $link tail? } " word. The file extension should contain the period." } { $description "Searches a directory for all files with the given extension. File extension and filenames are converted to lower-case and compared using the " { $link tail? } " word. The file extension should contain the period." }
{ $examples { $examples
{ $unchecked-example { $code
"USING: io.directories.search ;" "USING: io.directories.search ;"
"\"/\" \".mp3\" find-by-extension" "\"/\" \".mp3\" find-by-extension"
} }
@ -77,7 +77,7 @@ HELP: find-by-extensions
} }
{ $description "Searches a directory for all files in the given list of extensions. File extensions and filenames are converted to lower-case and compared using the " { $link tail? } " word. File extensions should contain the period." } { $description "Searches a directory for all files in the given list of extensions. File extensions and filenames are converted to lower-case and compared using the " { $link tail? } " word. File extensions should contain the period." }
{ $examples { $examples
{ $unchecked-example { $code
"USING: io.directories.search ;" "USING: io.directories.search ;"
"\"/\" { \".jpg\" \".gif\" \".tiff\" \".png\" \".bmp\" } find-by-extensions" "\"/\" { \".jpg\" \".gif\" \".tiff\" \".png\" \".bmp\" } find-by-extensions"
} }