X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdev%2Fsystem-file-format.texi;h=ca7c668287634dde3cc9fe5df2b909a593323860;hb=6417b81fb2d5665471ba9fadd180ed1ddeb29246;hp=4f5aa7edbeb749f39ba0f4b4af000f61a307afdc;hpb=d609cbdda0ae0e3638966643e948a4ea4eecf35d;p=pspp

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