From: Ben Pfaff Date: Sun, 6 Nov 2011 03:22:40 +0000 (-0700) Subject: doc: Remove reference to unimplemented SET PAGER command. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=b7d3c608800c1b47a5ef9c020caa5e7632215ff3 doc: Remove reference to unimplemented SET PAGER command. Bug #33632. Reported by John Darrington. --- diff --git a/doc/utilities.texi b/doc/utilities.texi index 93701fd781..5d664bc460 100644 --- a/doc/utilities.texi +++ b/doc/utilities.texi @@ -701,7 +701,6 @@ subcommands are @item HEADERS @itemx LENGTH @itemx MORE -@itemx PAGER @itemx WIDTH @itemx TNUMBERS The TNUMBERS option sets the way in which values are displayed in output tables.