Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Removed generated files in servedocs #159

Open
tecosaur opened this issue Apr 3, 2023 · 1 comment
Open

Removed generated files in servedocs #159

tecosaur opened this issue Apr 3, 2023 · 1 comment

Comments

@tecosaur
Copy link

tecosaur commented Apr 3, 2023

I've just tried using LiveServer.jl to work out a slightly tricky docs issue with a package of mine, and I've noticed that it leaves make.jl-generated files in the docs/src directory. I wonder if servedocs could use a try ... finally ... end block to record the src/ directory tree at the start, and immediately after running make.jl, and from the difference obtain a list of "generated files to remove" in the finally clause.

@tlienart
Copy link
Collaborator

tlienart commented Apr 3, 2023

Feel free to suggest a PR, as long as it's an extra keyword to servedocs which defaults to false (current behaviour) and as long as it doesn't add a dependency, I'm not against adding something like this in.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants