☂️ Make internals a part of tarantool.io

[NickVolynkin]

Make internals a part of tarantool.io, just like other projects.

www.tarantool.io/en/dev/core?

Building docs

• Build with tarantool/doc-builder:
  • Add recommonmark to requirements.txt doc-builder#18,
  • Change make file so the project is built in Docker #4
• Add intersphinx configuration for linking to the community docs #6

Deployment & CI/CD

• Upload build artifacts to S3 storage #5
• Deploy to test with GitHub workflow #7
• Deploy to production with GitHub workflow #8
• Add a link to test deployment to PRs #22
• Add strict syntax checks and linkcheck #25
• Build a single-page version without navigation #26

Backend

• https://github.com/tarantool/tarantool.io/issues/1206
• Redirect from /ru/dev/* to /en/dev/* #16
• Link to internals in the menu (?)

doc.tarantool.dev

• Make a redirect to the new URL #15

Docs quality

• Proofread internals documentation, part 1 #17
• Proofread internals documentation, part 2 #21

[rosik]

Probably, the destination is https://www.tarantool.io/en/doc/2.3/dev_guide/internals/