[website] version documentation

Summary:
This doesn't change the website for now except that, if you can guess
the URL, you can now access /docs/next/<page> and /docs/0.17.0/<page> in
addition to /docs/<page>. This is all automatically handled by
Docusaurus, nice!

We still need to manually version static/man/ and static/odoc/. The
0.17.0 versions are now in static/man/0.17.0/ and static/odoc/0.17.0/.
I haven't created static/man/next/ and static/doc/next/ (corresponding
to the "next" version) yet so some links in /docs/next/ are dead (but
unreachable by visitors for now). A follow-up commit populates these
with the man pages and odoc for the current master via an updated
`make doc-publish` target (it's currently regressed to a broken state).

Reviewed By: ngorogiannis

Differential Revision: D21552099

fbshipit-source-id: 3238580fe
master
Jules Villard 5 years ago committed by Facebook GitHub Bot
parent e29a9033bb
commit bc22604830

Some files were not shown because too many files have changed in this diff Show More

Loading…
Cancel
Save