aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRodrigo Arias Mallo <rodarima@gmail.com>2025-03-08 14:09:47 +0100
committerRodrigo Arias Mallo <rodarima@gmail.com>2025-03-08 14:09:47 +0100
commit8c8d21c12930d9a7f1f7b8737b30f5dbe8a8b37a (patch)
tree4521549c9fd2df1d70006b41ef36192f83e49807
parent3f53b96f1adf089411b8d873051807bbb7cccd95 (diff)
Only show file in navigation if needed
-rwxr-xr-xinfo2html3
1 files changed, 2 insertions, 1 deletions
diff --git a/info2html b/info2html
index a4dc62c..3feb0d2 100755
--- a/info2html
+++ b/info2html
@@ -414,6 +414,7 @@ sub PrintLinkInfo{
: " accesskey='n' title='alt-n: next' ";
}
#-- If no auxiliary file specified, use the current info file
+ $LinkFilePre = $LinkFile eq "" ? "" : "$LinkFile: ";
$LinkFile = $LinkFile eq "" ? $BaseInfoFile : $LinkFile;
$LinkRef = $LinkTag;
$LinkTag = &Escape($LinkTag);
@@ -422,7 +423,7 @@ sub PrintLinkInfo{
print <<"EOF";
<a href="info:($LinkFileEsc)$LinkTag" $LinkAtts
>$LinkTypeText
- <em>$LinkFile:</em> $LinkRef</a>
+ $LinkFilePre$LinkRef</a>
EOF
}