Ignore one more generated index from makeinfo.
[gnulib.git] / modules / scandir
2009-01-18 Bruno HaibleNew module 'scandir'.