This PR fixes a bug during screencast generation that left a stray termynal.md file that gets included in the docs tree and displayed as its own page. Instead, we use mkdocs-gen-files as intended with a temporary string filename rather than an explicit path, and we temporarily modify index.md in place during the build process to produce the final output.
Closes #342
This PR fixes a bug during screencast generation that left a stray
termynal.md
file that gets included in the docs tree and displayed as its own page. Instead, we usemkdocs-gen-files
as intended with a temporary string filename rather than an explicit path, and we temporarily modifyindex.md
in place during the build process to produce the final output.