Various info indices

[goredo.git] / doc / thanks.texi

diff --git a/doc/thanks.texi b/doc/thanks.texi
index e190a0fd109bff16ed47bbcd77db3c8d5d5f5036..677b0547c7e37e1e135e4288e9810b874ca496af 100644 (file)
--- a/doc/thanks.texi
+++ b/doc/thanks.texi
@@ -1,4 +1,5 @@
 @node Thanks
+@cindex thanks
 @unnumbered Thanks
 
 There are people deserving to be thanked for helping this project: