]> gitweb.factorcode.org Git - factor.git/commitdiff
Update wipe-docs.factor
authorShruti Sen <115914670+shruti-sen2004@users.noreply.github.com>
Fri, 20 Oct 2023 04:09:58 +0000 (09:39 +0530)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 20 Oct 2023 06:51:08 +0000 (23:51 -0700)
extra/wipe/wipe-docs.factor

index 9b27e1f8f74bc52816481abb88008f562c5b2f2a..841b3487a9cb2e955ad8acd28c983d8edbab5e38 100644 (file)
@@ -32,7 +32,7 @@ HELP: wipe-free-space
 
 HELP: with-temp-directory-at
 { $values { "path" "a filename string" } { "quot" quotation } }
-{ $description "Run the " { $snippet "quot" } "ation in a randomly named subdirectory of " { $snippet "path" } ", then delete the subdirectory." } ;
+{ $description "Run the " { $snippet "quot" } "action in a randomly named subdirectory of " { $snippet "path" } ", then delete the subdirectory." } ;
 
 HELP: make-file-empty
 { $values { "file-name" "a filename string" } }