X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fcommand-index.texi;h=d25fb673fbd95b32dbc2375b8c4019ef2c0c4557;hb=6d7eed1c12693a3688a3c16f634a5b816660085b;hp=c53b1db6e86af0c1ef9f593b1d37480105a77ef7;hpb=00feff7775f55b3292d1f9461a79dde54b9eb2ba;p=pspp

diff --git a/doc/command-index.texi b/doc/command-index.texi
index c53b1db6e8..d25fb673fb 100644
--- a/doc/command-index.texi
+++ b/doc/command-index.texi
@@ -1,4 +1,12 @@
+@c PSPP - a program for statistical analysis.
+@c Copyright (C) 2017, 2020 Free Software Foundation, Inc.
+@c Permission is granted to copy, distribute and/or modify this document
+@c under the terms of the GNU Free Documentation License, Version 1.3
+@c or any later version published by the Free Software Foundation;
+@c with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
+@c A copy of the license is included in the section entitled "GNU
+@c Free Documentation License".
+@c
 @node Command Index
 @chapter Command Index
 @printindex vr
-@setfilename ignored