[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
4.13.92 catalog out of sync w/ generated doctype
|
From: |
Thien-Thi Nguyen |
|
Subject: |
4.13.92 catalog out of sync w/ generated doctype |
|
Date: |
Mon, 24 Dec 2012 12:55:09 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.1 (gnu/linux) |
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 ...........
pgpcKdsEfjrGj.pgp
Description: PGP signature
- 4.13.92 catalog out of sync w/ generated doctype,
Thien-Thi Nguyen <=