Ignore one more generated index from makeinfo.
authorBruno Haible <bruno@clisp.org>
Sat, 14 Aug 2010 17:58:28 +0000 (19:58 +0200)
committerBruno Haible <bruno@clisp.org>
Sat, 14 Aug 2010 17:58:28 +0000 (19:58 +0200)
commitbaae8798ddc1855f57c7dbeebd91a3a2d1c11633
treecce873cb43cf0b0faf81d3e54a8d5df5220eda5e
parentfb0f15d4d3057fd142dcd3d6d86b26ba719a88c2
Ignore one more generated index from makeinfo.
doc/.gitignore