Ignore one more generated index from makeinfo.
[gnulib.git] / modules / fpucw
2007-03-25 Bruno HaibleNew module 'fpucw'.