$dot-space - Paragraph filling; full stop padding
$dot-space integer; Default is 1
0 <= integer <= n
$dot-space Sets the number of spaces inserted after a full stop during paragraph filling. The default is 1 space.
(c) Copyright JASSPA 1999
Last Modified: 1998/07/28
Generated On: 1999/07/16