Re: texinfo-4.13.91 pretest available

[Thien-Thi Nguyen]

() address@hidden (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 ...........

pgp9I1C9WSuQO.pgp
Description: PGP signature