X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdev%2Fsystem-file-format.texi;h=972b1331b4fb0f0be54ff7b2118f8bb204a71293;hb=207dcaa849d7c1d5090f198e9c86f9bfc484a89e;hp=757867cab230f5a7d6b11936d5b00951120f7332;hpb=78b2280e4d75fc07ce0f17c3607c0707f7ccb819;p=pspp-builds.git

diff --git a/doc/dev/system-file-format.texi b/doc/dev/system-file-format.texi
index 757867ca..972b1331 100644
--- a/doc/dev/system-file-format.texi
+++ b/doc/dev/system-file-format.texi
@@ -1087,7 +1087,8 @@ element.
 In record type 18, this field contains a sequence of one or more
 variable attribute sets.  If more than one variable attribute set is
 present, each one after the first is delimited from the previous by
-@code{/}.  Each variable attribute set consists of a variable name,
+@code{/}.  Each variable attribute set consists of a (potentially
+long) variable name,
 followed by @code{:}, followed by an attribute set with the same
 syntax as on record type 17.