mirror of
https://github.com/facebook/rocksdb.git
synced 2024-12-01 16:15:59 +00:00
ea9e0757ff
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.
19 lines
661 B
HTML
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> |