rocksdb/docs/_includes/nav/collection_nav_group.html
Joel Marcey ea9e0757ff Add initial GitHub pages infra for RocksDB documentation move and update. (#1294)
This is the initial commit with the templates necessary to have our RocksDB user documentation hosted on GitHub pages.

Ensure you meet requirements here: https://help.github.com/articles/setting-up-your-github-pages-site-locally-with-jekyll/#requirements

Then you can run this right now by doing the following:

```
% bundle install
% bundle exec jekyll serve --config=_config.yml,_config_local_dev.yml
```

Then go to: http://127.0.0.1:4000/

Obviously, this is just the skeleton. Moving forward we will do these things in separate pull requests:

- Replace logos with RocksDB logos
- Update the color schemes
- Add current information on rocksdb.org to markdown in this infra
- Migrate current Wodpress blog to Jekyll and Disqus comments
- Etc.
2016-08-24 15:35:38 -07:00

19 lines
661 B
HTML

<div class="navGroup{% if currentgroup == group %} navGroupActive navGroupCurrent{% endif %}">
<h3><i>+</i><span>{{ grouptitle }}</span></h3>
<ul>
{% if include.data_collection %}
{% for item in group.items %}
{% for collectionitem in include.data_collection %}
{% if collectionitem.docid == item.id %}
{% assign groupitem = collectionitem %}
{% include nav/collection_nav_group_item.html %}
{% endif %}
{% endfor %}
{% endfor %}
{% else %}
{% for groupitem in groupitems %}
{% include nav/collection_nav_group_item.html %}
{% endfor %}
{% endif %}
</ul>
</div>