diff options
| author | Orgad Shaneh <orgad.shaneh@audiocodes.com> | 2017-03-14 16:20:14 +0200 |
|---|---|---|
| committer | Orgad Shaneh <orgad.shaneh@audiocodes.com> | 2017-03-14 16:20:14 +0200 |
| commit | da7cb914467e8816ebe4676ea070ebeeb385e9d2 (patch) | |
| tree | 402afce4807a2fc9fb9f55bce63416c01dccd50b /doc | |
| parent | 2e54c89738b23f5be6eebdea4d39a0a5663877b6 (diff) | |
| parent | 4033471aa91ac0cde52786c45c9e95b119197dfc (diff) | |
| download | qt-creator-da7cb914467e8816ebe4676ea070ebeeb385e9d2.tar.gz | |
Merge remote-tracking branch 'origin/4.2' into 4.3
Change-Id: I4931dcc81be872d7712e67123e94d15ee696459f
Diffstat (limited to 'doc')
| -rwxr-xr-x | doc/fixnavi.pl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/fixnavi.pl b/doc/fixnavi.pl index 1ddbd4fe1b..eb0f16be57 100755 --- a/doc/fixnavi.pl +++ b/doc/fixnavi.pl @@ -133,7 +133,8 @@ my %next = (); my $last = $doctitle; my $lastpage = $title2page{$last}; for my $title (@toc) { - my $page = $title2page{$title}; + my $type = $title2type{$title}; + my $page = ($type eq "page") ? $title2page{$title} : "{$title}\n"; defined($page) or die "TOC refers to unknown page/example '$title'.\n"; $next{$last} = $page; $prev{$title} = $lastpage; |