X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fconfiguring.texi;h=fc3d160b57b941a83c6312cc7d2b59e95d0f3ade;hb=4801628dacf8914686f4114db56cbd84fdc672c9;hp=357388c8b28809656f0deb579fcd0326379bbc79;hpb=13d91b755ed1045e2c1183874b3752b07489b922;p=pspp-builds.git

diff --git a/doc/configuring.texi b/doc/configuring.texi
index 357388c8..fc3d160b 100644
--- a/doc/configuring.texi
+++ b/doc/configuring.texi
@@ -659,11 +659,6 @@ without the @code{cairo} library.
 If set, a formfeed will be written at the end of every page.  Default:
 @code{on}.
 
-@item tab-width=@var{tab-width-value}
-
-The distance between tab stops for this device.  If set to 0, tabs will
-not be used in the output.  Default: @code{8}.
-
 @item headers=@var{boolean}
 
 If enabled, two lines of header information giving title and subtitle,