Ignore one more generated index from makeinfo.
[gnulib.git] / modules / frexpl-nolibm
2007-05-18 Bruno HaibleNew module 'frexpl-nolibm'.