X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=doc%2Flanguage.texi;h=e344de301919fd1c3e9a405dcffbcc49e42cdbf5;hb=2aa28878fafb2cb6ea5466a2143b6fb77cf45fbf;hp=a6964ed03501e3fc6bcb7b592c0f829759d72803;hpb=1b1837591924226078c96db15888b68beec2ef6d;p=pspp

diff --git a/doc/language.texi b/doc/language.texi
index a6964ed035..e344de3019 100644
--- a/doc/language.texi
+++ b/doc/language.texi
@@ -502,6 +502,11 @@ Similar to print format, but used by the @cmd{WRITE} command
 @item Custom attributes
 User-defined associations between names and values.  @xref{VARIABLE
 ATTRIBUTE}.
+
+@cindex variable role
+@item Role
+The intended role of a variable for use in dialog boxes in graphical
+user interfaces.  @xref{VARIABLE ROLE}.
 @end table
 
 @node System Variables