From 8e631c9b26abbb481f92a94af93ebe199700db81 Mon Sep 17 00:00:00 2001 From: Oswald Buddenhagen Date: Wed, 8 Mar 2017 17:43:27 +0100 Subject: [PATCH] make fixnavi actually work with examples we reference examples by title, not by file name (as it's unknowable). Change-Id: I24e2a543138b77e8c6ea60e2aca49ba057c13273 Reviewed-by: Leena Miettinen --- doc/fixnavi.pl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/fixnavi.pl b/doc/fixnavi.pl index 1ddbd4fe1ba..eb0f16be57b 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;