[tools] Fix index.html links

Change-Id: I8570c748a9e4e509b0f609fcbb6aa37a3a986971
No-Presubmit: true
No-Tree-Checks: true
No-Try: true
Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/3862267
Reviewed-by: Victor Gomes <victorgomes@chromium.org>
Commit-Queue: Camillo Bruni <cbruni@chromium.org>
Cr-Commit-Position: refs/heads/main@{#82781}
This commit is contained in:
Camillo Bruni 2022-08-29 16:10:19 +02:00 committed by V8 LUCI CQ
parent c2d46fe966
commit efb772c400

View File

@ -42,13 +42,13 @@ dd, dt {
<body> <body>
<header id=header> <header id=header>
<h1> <h1>
<a class=v8 href="https://v8.dev">V8</a> <a class=v8 href="//v8.dev">V8</a>
</h1> </h1>
<nav> <nav>
<ul> <ul>
<li class=current><a href="">Tools</a></li> <li class=current><a href="">Tools</a></li>
<li><a href="https:/v8.dev/tools/versions">Tools Versions</a></li> <li><a href="//v8.dev/tools/versions">Tools Versions</a></li>
<li><a href="https://v8.dev">Main Page</a></li> <li><a href="//v8.dev">Main Page</a></li>
</ul> </ul>
</nav> </nav>
</header> </header>