-
Notifications
You must be signed in to change notification settings - Fork 2.5k
Closed
Labels
documentationImprovements or additions to documentationImprovements or additions to documentation
Milestone
Description
We've been discussing where should we host our documentation and what its domain should be.
Options for host:
- Host using GitHub pages;
- Host with ReadTheDocs;
- Host on a private server. (More can be added here as the discussion goes)
Options for domain:
- Use the GitHub pages domain (Note: could be too long: manimcommunity.github.io/manim ...)
- Use the ReadTheDocs domain
- Use a free domain acquired online
Ideas? Suggestions?
Metadata
Metadata
Assignees
Labels
documentationImprovements or additions to documentationImprovements or additions to documentation