issues
search
IntersectMBO
/
plutus
The Plutus language implementation and tools
Apache License 2.0
1.55k
stars
466
forks
source link
Complete Migration from RDT to Docusaurus
#6227
Closed
zeme-wana
closed
1 week ago
zeme-wana
commented
1 week ago
Delete the contents of doc/read-the-docs-site, only keeping the README with a migration notice.
Move docusaurus folder into doc folder.
Update the GH workflows for publishing the haddock site and docusaurus site.
Delete GH web hook and update redirects on RTD site.
Remove mentions of read-the-docs and combined-haddock from nix code
Update release process, mentioning how to publish Docusaurus and the Haddock site
Update links in Docusaurus mentioning the new haddock site