LiveServer.servedocs() creates cast files infinite times.

[terasakisatoshi]

My workflow includes running LiveServer.servedocs to check that our documentation is created as planned.

It seems LiveServer.servedocs function calls docs/make.jl in the background. Therefore generate_example_page(sections) is called infinite times, which creates all cast files even though they are already in docs/assets.

Adding a conditional branch to check a specified cast file is created is a good idea.

This is my homework.

[hyrodium]

Should we add an option like overwrite_cast or skip_existing_cast?

[terasakisatoshi]

🤔 Where can i find the option? > skip_existing_cast

[hyrodium]

Oh, sorry for not being clear enough. I was thinking of adding a keyword argument skip_existing_cast to generate_example_page in docs/make.jl not to regenerate the cast files.