Ignore one more generated index from makeinfo.
[gnulib.git] / modules / atoll
2008-10-19 Bruno HaibleNew module 'atoll'.