() [email protected] (Karl Berry) () Tue, 27 Nov 2012 01:13:31 GMT ftp://alpha.gnu.org/gnu/texinfo/texinfo-4.13.91.tar.xz http://alpha.gnu.org/gnu/texinfo/texinfo-4.13.91.tar.xz
I generated XML (in doc/ after "make all check" => OK) w/ GNUmakefile:
include Makefile
xml:
$(MAKEINFO) --xml --no-split -o texinfo.xml texinfo.txi
and invocation "make xml" and see that the DOCTYPE line refers to 4.12: <?xml version="1.0"?> <!DOCTYPE texinfo PUBLIC "-//GNU//DTD TexinfoML V4.12//EN" "http://www.gnu.org/software/texinfo/dtd/4.12/texinfo.dtd";> <texinfo xml:lang="en"> ... Is that 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 ...........
pgp9bTnVuPHxu.pgp
Description: PGP signature
