andreacavalli/rocksdb
0
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
release_fix
rocksdb/docs/_data/nav.yml

31 lines
743 B
YAML
Raw Permalink Normal View History

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-25 00:35:38 +02:00
- title: Docs
href: /docs/
category: docs
Add GitHub link to the landing page header
2016-10-04 22:49:13 +02:00
- title: GitHub
href: https://github.com/facebook/rocksdb/
Make the header links a bit more flexible
2016-11-08 02:03:19 +01:00
category: external
Add GitHub link to the landing page header
2016-10-04 22:49:13 +02:00
Add API links to the header bar Summary: Until we get new API infra for gh-pages, this will point to the C++ headers and Java files, respectively for API information. Test Plan: Visual https://www.facebook.com/pxlcld/pwzQ Reviewers: lgalanis, sdong Reviewed By: sdong Subscribers: andrewkr, dhruba, leveldb Differential Revision: https://reviews.facebook.net/D63771
2016-09-13 18:13:59 +02:00
- title: API (C++)
Update branch name to main in docs/* (#8743) Summary: Update branch name from master to main in docs/* Pull Request resolved: https://github.com/facebook/rocksdb/pull/8743 Reviewed By: ltamasi Differential Revision: D30712263 Pulled By: akankshamahajan15 fbshipit-source-id: a1a5e20d95210e792705030f98dd2b38ca542eb5
2021-09-02 00:56:09 +02:00
href: https://github.com/facebook/rocksdb/tree/main/include/rocksdb
Make the header links a bit more flexible
2016-11-08 02:03:19 +01:00
category: external
Add API links to the header bar Summary: Until we get new API infra for gh-pages, this will point to the C++ headers and Java files, respectively for API information. Test Plan: Visual https://www.facebook.com/pxlcld/pwzQ Reviewers: lgalanis, sdong Reviewed By: sdong Subscribers: andrewkr, dhruba, leveldb Differential Revision: https://reviews.facebook.net/D63771
2016-09-13 18:13:59 +02:00
- title: API (Java)
Update branch name to main in docs/* (#8743) Summary: Update branch name from master to main in docs/* Pull Request resolved: https://github.com/facebook/rocksdb/pull/8743 Reviewed By: ltamasi Differential Revision: D30712263 Pulled By: akankshamahajan15 fbshipit-source-id: a1a5e20d95210e792705030f98dd2b38ca542eb5
2021-09-02 00:56:09 +02:00
href: https://github.com/facebook/rocksdb/tree/main/java/src/main/java/org/rocksdb
Make the header links a bit more flexible
2016-11-08 02:03:19 +01:00
category: external
Add API links to the header bar Summary: Until we get new API infra for gh-pages, this will point to the C++ headers and Java files, respectively for API information. Test Plan: Visual https://www.facebook.com/pxlcld/pwzQ Reviewers: lgalanis, sdong Reviewed By: sdong Subscribers: andrewkr, dhruba, leveldb Differential Revision: https://reviews.facebook.net/D63771
2016-09-13 18:13:59 +02:00
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-25 00:35:38 +02:00
- title: Support
href: /support.html
category: support
- title: Blog
href: /blog/
category: blog
- title: Facebook
Have Facebook link point to RocksDB on FB Summary: ...not just the main FB landing page Test Plan: visual Reviewers: lgalanis, sdong Reviewed By: sdong Subscribers: andrewkr, dhruba, leveldb Differential Revision: https://reviews.facebook.net/D63969
2016-09-14 19:42:58 +02:00
href: https://www.facebook.com/groups/rocksdb.dev/
Make the header links a bit more flexible
2016-11-08 02:03:19 +01:00
category: external
# Use external for external links not associated with the paths of the current site.
# If a category is external, site urls, for example, are not prepended to the href, etc..
Reference in New Issue Copy Permalink