X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Flanguage.texi;h=55ca55ffdca05ce865bd74622a4fe35d963a25ed;hb=61391bf7ffd53bf18fcf14fa0c15ffa9a08ad2df;hp=1c998d992683ff2505d75208f33caf25f1dbdbca;hpb=830bebed018f016589848f583865a48b9abe9d69;p=pspp

diff --git a/doc/language.texi b/doc/language.texi
index 1c998d9926..55ca55ffdc 100644
--- a/doc/language.texi
+++ b/doc/language.texi
@@ -1442,7 +1442,7 @@ Operators and punctuators.
 @cindex @code{.}
 @item @code{.}
 The end of the command.  This is not necessarily an actual dot in the
-syntax file: @xref{Commands}, for more details.
+syntax file (@pxref{Commands}).
 @end table
 
 @item