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.