$href = &$default_external_href($node, $node_id, $node_xhtml_id, lc_last($file));
$href = remove_unneeded_anchor($href);
- # TODO: very yucky, but will be fixed in issue 1004
if ($web_manual) {
- my $only_web = $ENV{ONLY_WEB};
- if ($only_web) {
- $href = "../../doc/v2.13/Documentation/web/".$href;
+ my $only_web_version = $ENV{ONLY_WEB_VERSION};
+ if ($only_web_version) {
+ $href = "../../doc/".$only_web_version."/Documentation/web/".$href;
}
}
'introduction' => [2, 2, 2, 2, 3, 3, 4, 4],
'download' => [2, 2, 2, 3, 3, 4],
'manuals' => [1, 1, 1, 2, 2, 2, 3, 3, 3, 3, 3, 4, 4, 4],
- 'community' => [1, 1, 1, 2, 2, 2, 2, 3, 3, 3],
+ 'community' => [1, 1, 1, 2, 2, 2, 2, 3, 3, 3, 4],
);
my $addColor = "colorDefault";
while (($top_section, $color_indices) = each %color_maps) {