*-docs: replace double spaces with single spaces

[factor.git] / extra / gdbm / gdbm-docs.factor

diff --git a/extra/gdbm/gdbm-docs.factor b/extra/gdbm/gdbm-docs.factor
index 18e5d5cf33b709b82cd2bd3c5355a1b5a47de3c6..eec1f5e94b2fae458f16596168819efc77b8fc26 100644 (file)
--- a/extra/gdbm/gdbm-docs.factor
+++ b/extra/gdbm/gdbm-docs.factor
@@ -104,7 +104,7 @@ HELP: set-block-merging
 
 HELP: set-block-pool
 { $values { "?" boolean } }
-{ $description "If set, this option causes all subsequent free blocks to be placed in the global pool. The default is " { $link f } "."  } ;
+{ $description "If set, this option causes all subsequent free blocks to be placed in the global pool. The default is " { $link f } "." } ;
 
 HELP: set-cache-size
 { $values { "size" integer } }