In 4.13.92 dist, texinfo.cat says: PUBLIC "-//GNU//DTD TexinfoML V4.13.92//EN" "texinfo.dtd"
but the XML produced by "makeinfo --xml" says: "-//GNU//DTD TexinfoML V5.00//EN" Is this discrepency a bug? -- Thien-Thi Nguyen ..................................... GPG key: 4C807502 . NB: ttn at glug dot org is not me . . (and has not been since 2007 or so) . . ACCEPT NO SUBSTITUTES . ........... please send technical questions to mailing lists ...........
pgpVbxNraMCLb.pgp
Description: PGP signature
