From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 6 Aug 2022 19:31:19 +0000 (-0700)
Subject: doc: Improve description of extension subtype 5.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=287b27a6720d10ff6563c24281933eaffceda775

doc: Improve description of extension subtype 5.
---

diff --git a/doc/dev/system-file-format.texi b/doc/dev/system-file-format.texi
index 476aec405a..17f5c1450f 100644
--- a/doc/dev/system-file-format.texi
+++ b/doc/dev/system-file-format.texi
@@ -1524,7 +1524,8 @@ the following believed meanings:
 
 @table @asis
 @item 5
-A set of grouped variables (according to Aapi H@"am@"al@"ainen).
+A named variable set for use in the GUI (according to Aapi
+H@"am@"al@"ainen).
 
 @item 6
 Date info, probably related to USE (according to Aapi H@"am@"al@"ainen).