X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fconcept-index.texi;h=29d8a624d2cbae8b329e57aabd438eb081b45473;hb=HEAD;hp=742488e4d7ab543389664df9a8ff72da3097c537;hpb=00feff7775f55b3292d1f9461a79dde54b9eb2ba;p=pspp-builds.git

diff --git a/doc/concept-index.texi b/doc/concept-index.texi
index 742488e4..29d8a624 100644
--- a/doc/concept-index.texi
+++ b/doc/concept-index.texi
@@ -1,4 +1,3 @@
 @node Concept Index
 @chapter Concept Index
 @printindex cp
-@setfilename ignored