diff options
author | Oswald Buddenhagen <oswald.buddenhagen@digia.com> | 2013-11-01 19:21:25 +0100 |
---|---|---|
committer | Oswald Buddenhagen <oswald.buddenhagen@digia.com> | 2013-11-04 14:48:46 +0100 |
commit | c759e39c1db2e1c3e04adeab71355886d397ad00 (patch) | |
tree | ed5cbc647b5fc85317088230cc5de9eec848f39a /doc/fixnavi.pl | |
parent | 46408bd872d5527f428aa7184057560a22b3723b (diff) |
validate TOC references
Change-Id: I09ff290bc7da85ca2087a485b67f717e55bd6666
Reviewed-by: Friedemann Kleint <Friedemann.Kleint@digia.com>
Diffstat (limited to 'doc/fixnavi.pl')
-rwxr-xr-x | doc/fixnavi.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/fixnavi.pl b/doc/fixnavi.pl index ca3c582f16..df728d87cb 100755 --- a/doc/fixnavi.pl +++ b/doc/fixnavi.pl @@ -129,6 +129,7 @@ my $last = $doctitle; my $lastpage = $title2page{$last}; for my $title (@toc) { my $page = $title2page{$title}; + defined($page) or die "TOC refers to unknown page '$title'.\n"; $next{$last} = $page; $prev{$title} = $lastpage; $last = $title; |