util/texinfo-cat.in - texinfo - Git at Google

 OVERRIDE YES

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

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