OVERRIDE YES

PUBLIC "-//GNU//DTD TexinfoML V__VERSION__//EN" "texinfo.dtd"