X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=doc%2Fexpressions.texi;h=32ace6c2dca2763ce716388c097d5e996f84650c;hb=07006e3b80d88f60f3a2af10a805d8bca847a0ef;hp=1021708ab418c565755f0c528b11c1cb4f49966c;hpb=00feff7775f55b3292d1f9461a79dde54b9eb2ba;p=pspp

diff --git a/doc/expressions.texi b/doc/expressions.texi
index 1021708ab4..32ace6c2dc 100644
--- a/doc/expressions.texi
+++ b/doc/expressions.texi
@@ -1516,4 +1516,3 @@ subtraction.
 @item
 @code{AND  NOT  OR}
 @end enumerate
-@setfilename ignored