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=6417b81fb2d5665471ba9fadd180ed1ddeb29246

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

diff --git a/doc/dev/system-file-format.texi b/doc/dev/system-file-format.texi
index 4f5aa7edbe..ca7c668287 100644
--- a/doc/dev/system-file-format.texi
+++ b/doc/dev/system-file-format.texi
@@ -1518,7 +1518,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).