Miscellaneous Webdev

[HaoZeke]

• Logo
• Favicon
• Set the domain name
• Versioning (RTD?)
• Trigger rebuild on changes to symengine/symengine
  • This actually depends on which CI is being used
  • Try doctr

[HaoZeke]

Use tags to push new releases to subfolders.

• Maybe have a banner on the older versions
  • Or just kill the older pages
• Make sure latest is constant

Best to keep the docs built in releases for tar files. The site should only have the latest build though.