X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdata-selection.texi;h=4b6a748deaac594b4763d6b7751942dd1c42e753;hb=1bcfda4855b95dbb60549cad6616f72069038fea;hp=3ea91c8d7d9d14e016834553fad7d7baac1a0fe2;hpb=a8867fce18005ec258afcb2050063238421b084e;p=pspp

diff --git a/doc/data-selection.texi b/doc/data-selection.texi
index 3ea91c8d7d..4b6a748dea 100644
--- a/doc/data-selection.texi
+++ b/doc/data-selection.texi
@@ -212,7 +212,7 @@ When @cmd{SELECT IF} is specified following @cmd{TEMPORARY}
 @vindex SPLIT FILE
 
 @display
-SPLIT FILE [{LAYERED, SEPARATE}] BY var_list.
+SPLIT FILE [@{LAYERED, SEPARATE@}] BY var_list.
 SPLIT FILE OFF.
 @end display