]> gitweb.factorcode.org Git - factor.git/commitdiff
command-line: Fix -exclude docs
authorGiftpflanze <gifti@tools.wmflabs.org>
Mon, 23 Jan 2023 14:29:06 +0000 (14:29 +0000)
committerGiftpflanze <gifti@tools.wmflabs.org>
Mon, 23 Jan 2023 14:29:06 +0000 (14:29 +0000)
basis/command-line/command-line-docs.factor

index 14fc2c3c2d1281f356f5167899a9d12795e09781..71e139a30a4a912a563f7f28907c5f91a1508ebb 100644 (file)
@@ -75,7 +75,7 @@ ARTICLE: "bootstrap-cli-args" "Command line switches for bootstrap"
     { { $snippet "compiler" } "The compiler." }
     { { $snippet "tools" } "Terminal-based developer tools." }
     { { $snippet "help" } "The help system." }
-    { { $snippet "help.handbook" } "The help handbook." }
+    { { $snippet "handbook" } "The help handbook." }
     { { $snippet "ui" } "The graphical user interface." }
     { { $snippet "ui.tools" } "Graphical developer tools." }
     { { $snippet "io" } "Non-blocking I/O and networking." }