gpl.texi breaks the PDF Bookmarks

[Akim Demaille]

Below is included a severely stripped down version of a problem that
affects CVS Bison's documentation: apparently because there are two
@unnumberedsec, the layout is broken, and chapter 1 is swallowed in
the hierarchy of Copying.

This affects any package using gpl.texi I guess.  For completeness, I
included gpl.texi as used by Bison below.  Adding @node for the
unnumberedsec does not solve the problem.  Oh, and BTW, there are logs
from pdflatex that don't seem to make sense:

/tmp % texi2dvi --pdf foo.texi -I . && acroread foo.pdf          nostromo 11:48
This is pdfTeXk, Version 3.14159-1.10b (Web2C 7.4.5)
 file:line:error style messages enabled.
(/tmp/foo.texi{/usr/share/texmf/pdftex/config/pdftex.cfg} (./texinfo.tex
Loading texinfo [version 2003-08-11.14]: Basics, pdf,
(/usr/share/texmf/pdftex/plain/misc/pdfcolor.tex) fonts, page headings,
tables, conditionals, indexing, sectioning, toc, environments, defuns, macros,
cross references, (/usr/share/texmf/tex/generic/dvips/epsf.tex) localization,
and turning on texinfo input format.) (./foo.aux) (./foo.toc) [-1{/usr/share/te
xmf/dvips/config/pdftex.map}] (./foo.toc) (./foo.toc) (Introduction)
(GNU GENERAL PUBLIC LICENSE) [1] Chapter 1 [2] Chapter 2 [3] Chapter 3 [4]
Chapter 4 [5] (Epilogue) [6] [7] )
! pdfTeX warning (dest): name{Appendix: How to Apply These Terms to Your New Pr
ograms} has been referenced but does not exist, replaced by a fixed one

! pdfTeX warning (dest): name{Preamble} has been referenced but does not exist,
 replaced by a fixed one

{/usr/share/texmf/dvips/tetex/74afc74c.enc}</usr/share/texmf/fonts/type1/bluesk
y/cm/cmti10.pfb>{/usr/share/texmf/dvips/tetex/f7b6d320.enc}</usr/share/texmf/fo
nts/type1/bluesky/cm/cmr10.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmbxti1
0.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmbx12.pfb>
Output written on foo.pdf (8 pages, 35331 bytes).
Transcript written on foo.log.

There are _many_ of these for Bison's documentation.

------------------------------------------------------------
\input texinfo @c -*-texinfo-*-
@setfilename include-example.info
@settitle Include Example

@contents

@ifnottex
@node Top
@top Include Example
@end ifnottex

@node Introduction
@unnumbered Introduction

Introduction.

@node Copying
@unnumbered GNU GENERAL PUBLIC LICENSE

@unnumberedsec Preamble

  The licenses [...]

Long enumerate.

@unnumberedsec Appendix: How to Apply These Terms to Your New Programs

[...]

@node Chap 1
@chapter 1

Chapter 1

@node Chap 2
@chapter 2

Chapter 2

@node Chap 3
@chapter 3

Chapter 3

@node Chap 4
@chapter 4

Chapter 4

@node Epilogue
@unnumbered Epilogue

Epilogue.

@bye

gpl.texi
Description: TeXInfo document