(docs) change header link for generated doc pages

This commit is contained in:
K. Lange 2021-02-28 23:04:36 +09:00
parent ebf94603a4
commit 5ce03ebcf5

View File

@ -29,7 +29,7 @@
<a class="nav-link force-cursor" href="/?r=y&c=tutorial()">Tutorial</a>
</li>
<li class="nav-item">
<a class="nav-link force-cursor" href="/?r=y&c=license()">License</a>
<a class="nav-link force-cursor" href="/ide/">IDE</a>
</li>
<li class="nav-item dropdown">
<a class="nav-link dropdown-toggle" href="/" id="navbarDropdown">