Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
feat(documentation): i18n on the docsearch #395
The documentation has been written in a few languages now, but was only crawled in English.
Now the setup has been put in place for documentation in multiple languages (see algolia/docsearch-configs#130 as well).
The other languages can only be added as soon as this is merged.