X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fvariables.texi;fp=doc%2Fvariables.texi;h=d5e2d14543bbe7d6c506a4854962daffb4bac643;hb=8ea97bfb8e21cac5964212c175782c48159764b7;hp=95a5b67b6ff6c5aa9fa91db119aeb408cdd2fb98;hpb=e51aad5ecebae7e6cdd4acc38be1a738e5c0e6c4;p=pspp

diff --git a/doc/variables.texi b/doc/variables.texi
index 95a5b67b6f..d5e2d14543 100644
--- a/doc/variables.texi
+++ b/doc/variables.texi
@@ -417,7 +417,7 @@ the latter case, all the array elements numbered higher than the
 deleted element are shifted down, filling the vacated position.
 
 To associate custom attributes with the entire active file, instead of
-with particular variables, use @cmd{DATAFILE ATTRIBUTE} instead.
+with particular variables, use @cmd{DATAFILE ATTRIBUTE} (@pxref{DATAFILE ATTRIBUTE}) instead.
 
 @cmd{VARIABLE ATTRIBUTE} takes effect immediately.  It is not affected
 by conditional and looping structures such as @cmd{DO IF} or