makeinfo --html mishandles @enumerate with argument

[Andreas Schwab]

$ cat enum.texi
\input texinfo
@setfilename enum.info
@node Top
@top Enumerate
@enumerate 0
@item
Item 0
@end enumerate
@enumerate a
@item
Item a
@end enumerate
@bye
$ makeinfo --html enum.texi
$ grep '<ol' enum/index.html
<ol>
<ol>

This is a regression from texinfo 4.13:

$ grep '<ol' enum/index.html 
     <ol type=1 start=0>
     <ol type=a start=1>

Andreas.

-- 
Andreas Schwab, SUSE Labs, address@hidden
GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE  1748 E4D4 88E3 0EEA B9D7
"And now for something completely different."