Closed codingpotato closed 2 years ago
This PR is so cool! Are we planning to merge this PR into the main branch?
This PR is so cool! Are we planning to merge this PR into the main branch?
I plan to merge it into the main branch. The default Github action will triggered when the docs
folder of the main branch is changed, and generate the docs in https://seedv.github.io/SeedLang/.
This is an experimental PR to generate the static document site with the
Just the docs
theme. The default Github action will generate and deploy the static site fromdocs
folder ofmain
branch tohttps://seedv.github.io/SeedLang
.The markdown files and configurations can be modified in later PRs.