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