X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fconfiguring.texi;h=164d9ab1aac182a38c04120ef1028e8fb30684aa;hb=4eec17311c5d0e9db3853e1550b6c8c8d0829c2c;hp=18d24cac45a498518895d17945aacb3702780d2c;hpb=873165af1d9ae450483816b892aa17afd669a7c0;p=pspp-builds.git diff --git a/doc/configuring.texi b/doc/configuring.texi index 18d24cac..164d9ab1 100644 --- a/doc/configuring.texi +++ b/doc/configuring.texi @@ -681,13 +681,17 @@ requested. Default: @code{on}. @item length=@var{line-count} -Physical length of a page, in lines. Headers and margins are subtracted -from this value. Default: @code{66}. +Physical length of a page. Headers and margins are subtracted from +this value. You may specify the number of lines as a number, or for +screen output you may specify @code{auto} to track the height of the +terminal as it changes. Default: @code{66}. @item width=@var{character-count} -Physical width of a page, in characters. Margins are subtracted from -this value. Default: @code{130}. +Physical width of a page. Margins are subtracted from this value. +You may specify the width as a number of characters, or for screen +output you may specify @code{auto} to track the width of the terminal +as it changes. Default: @code{79}. @item top-margin=@var{top-margin-lines}