Ignore one more generated index from makeinfo.
[gnulib.git] / modules / unlockpt
2010-03-21 Bruno HaibleNew module 'unlockpt'.