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.
I've just tried using
LiveServer.jlto work out a slightly tricky docs issue with a package of mine, and I've noticed that it leavesmake.jl-generated files in thedocs/srcdirectory. I wonder if servedocs could use atry ... finally ... endblock to record thesrc/directory tree at the start, and immediately after runningmake.jl, and from the difference obtain a list of "generated files to remove" in thefinallyclause.