OVERRIDE YES

PUBLIC "-//GNU//DTD TexinfoML V4.13//EN" "texinfo.dtd"