Fix: Docs generation create temporary files that are not cleaned up. #10238
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
When building the documentation, a couple of example files are written to disk but never deleted.
Currently affected:
doc/user-guide/io.rst
saved_on_disk.h5
is written to disk but never removed(note: .h5 files are not exlcuded by .gitignore)
doc/internals/time-coding.rst
test-datetimes1.nc
test-datetimes2.nc
test-timedeltas1.nc
test-timedeltas2.nc
This PR adds a simple clean up snippet at the end of each affected file / section to get rid of them: