X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdev%2Fsystem-file-format.texi;fp=doc%2Fdev%2Fsystem-file-format.texi;h=17f5c1450fa0be9e996e3d47b79c5de6e96c4e34;hb=287b27a6720d10ff6563c24281933eaffceda775;hp=476aec405a3e909a36f29547eee0879be3d2d607;hpb=a4e72105292077f6a45a431156ac841148fa3d36;p=pspp

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).