修复编译错误

texinfo 5