diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-01-19 16:38:48 +0100 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2017-01-31 14:32:40 +0100 |
commit | 384f5a0dba5c2102327015c67781462ba475e43a (patch) | |
tree | 895076c663f35006b9069d0433f1b1ab1678655b /doc-tool/resources | |
parent | 821b3faa52dff3850016c4620ee0cef6f7b3897f (diff) | |
download | dotty-384f5a0dba5c2102327015c67781462ba475e43a.tar.gz dotty-384f5a0dba5c2102327015c67781462ba475e43a.tar.bz2 dotty-384f5a0dba5c2102327015c67781462ba475e43a.zip |
Link companions in doc AST
Diffstat (limited to 'doc-tool/resources')
-rw-r--r-- | doc-tool/resources/_layouts/doc.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc-tool/resources/_layouts/doc.html b/doc-tool/resources/_layouts/doc.html index c9dc8da39..b6c9a7053 100644 --- a/doc-tool/resources/_layouts/doc.html +++ b/doc-tool/resources/_layouts/doc.html @@ -16,7 +16,8 @@ layout: main <a href="{{ site.baseurl }}/api/{{ pkg.path | join: "/" }}/index.html">{{ pkg.name }}</a> </li> {% for member in pkg.children %} - {% if member.kind != "package" %} + {% if member.kind == "object" and member.hasCompanion %} + {% elsif member.kind != "package" %} <li class="index-entity"> <a href="{{ site.baseurl }}/api/{{ member.path | join: "/" }}.html">{{ member.kind }} {{ member.name }}</a> </li> |