chg: [header] added research projects link in documentation menu

pull/35/head
Christophe Vandeplas 2020-11-17 15:20:59 +01:00 committed by GitHub
parent 1f2336a683
commit 0a1ca5dc67
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions

View File

@ -62,7 +62,8 @@
</li>
<li {% if current[1] == 'documentation' %}class="current"{% endif %}><a href="{{ site.baseurl }}/documentation">Documentation</a>
<ul>
<li><a href="{{ side.baseurl }}/compliance">Legal and policy compliance</a></li>
<li><a href="{{ side.baseurl }}/compliance/">Legal and policy compliance</a></li>
<li><a href="{{ site.baseurl }}/research-projects/">Research projects</a></li>
</ul>
</li>
<li {% if current[1] == 'tools' %}class="current"{% endif %}><a href="{{ site.baseurl }}/tools">Tools</a></li>