]> gitweb.factorcode.org Git - factor.git/commitdiff
wipe-docs: fix an issue detected by help-lint
authorAlexander Ilin <alex.ilin@protonmail.com>
Mon, 14 Aug 2023 22:09:34 +0000 (00:09 +0200)
committerAlexander Ilin <alex.ilin@protonmail.com>
Mon, 14 Aug 2023 22:09:34 +0000 (00:09 +0200)
extra/wipe/wipe-docs.factor

index bda828137c354a58f8238c18e6770193e69c634d..321a676a0ee4d20393d0b139bed18a41d60cdd44 100644 (file)
@@ -7,9 +7,9 @@ HELP: overwrite-with-random-bytes
 { $values { "file-name" "a filename string" } }
 { $description "Overwite the " { $snippet "file-name" } " contents with random data. The slack space at the end is not overwritten." } ;
 
-ABOUT: "wipe"
+ABOUT: "Wipe"
 
-ARTICLE: "wipe" "wipe"
+ARTICLE: "Wipe" "Wipe"
 "The " { $vocab-link "wipe" } " vocab provides some words for securely erasing (wiping) individual files, entire folders or the free space on a drive:"
 { $subsections wipe wipe-all wipe-file wipe-free-space }
 ;