X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=doc%2Flanguage.texi;h=55ca55ffdca05ce865bd74622a4fe35d963a25ed;hb=21642f4f6a9e51d508d05aa003d3de112af7cdf2;hp=1c998d992683ff2505d75208f33caf25f1dbdbca;hpb=facb4a1ad3c9e8b2cdf55824680eed2afb91aebe;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