doc: fix spacing
authorPaul Eggert <eggert@cs.ucla.edu>
Thu, 5 Jul 2012 22:47:21 +0000 (15:47 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Thu, 5 Jul 2012 23:13:12 +0000 (23:13 +0000)
commit50ad9935052993ae934f06fda3f6d182e251b5ec
treed7eab58c28d694c97851ccc19847065d33b80e97
parentcc322ddd16607c0c8e978e5003008344e2710ec9
doc: fix spacing

* doc/coreutils.texi: Use right amount of spacing after punctuation.
doc/coreutils.texi