Currently, all demo files are generated together with the documentation.
In any non-trivial project, there might be tens of demos together with pages, so when someone wants to add a new demo, a lot of time would be spent on generating other demos, especially he/she only makes some typo updates.
I imagine to support the following pipeline:
julia> makedemos("mydemo.jl") # generates a demo page with only one card in a temp dir
a single demo page is generated in <URL>
Users can then view the demo by simply click the URL.
Currently, all demo files are generated together with the documentation.
In any non-trivial project, there might be tens of demos together with pages, so when someone wants to add a new demo, a lot of time would be spent on generating other demos, especially he/she only makes some typo updates.
I imagine to support the following pipeline:
Users can then view the demo by simply click the URL.