*-docs: replace double spaces with single spaces

[factor.git] / basis / formatting / formatting-docs.factor

diff --git a/basis/formatting/formatting-docs.factor b/basis/formatting/formatting-docs.factor
index 1b5ffdfa8e05d92b5003add5bdd1bdc8997d4eb3..1ed611f011ca0bd8b688d5fb8a646e26b3f0fe2b 100755 (executable)
--- a/basis/formatting/formatting-docs.factor
+++ b/basis/formatting/formatting-docs.factor
@@ -35,7 +35,7 @@ HELP: printf
     "formatted with a " { $snippet "+" } " preceeding it if positive."
     $nl
     "Padding (" { $snippet "P" } ") is used to optionally specify the minimum width of the result "
-    "string, the padding character, and the alignment.  By default, the padding "
+    "string, the padding character, and the alignment. By default, the padding "
     "character defaults to a space and the alignment defaults to right-aligned. "
     "For example:"
     $nl