修复编译错误

texinfo兼容问题