Plugin for ProperDocs to programmatically generate documentation pages during the build
pip install mkdocs-gen-filesContinue to the documentation site.
Activate the plugin in properdocs.yml (scripts is a required list of Python scripts to execute, always relative to properdocs.yml):
plugins:
- search
- gen-files:
scripts:
- gen_pages.py # or any other name or pathThen create such a script gen_pages.py (this is relative to the root, not to the docs directory).
import mkdocs_gen_files
with mkdocs_gen_files.open("foo.md", "w") as f:
print("Hello, world!", file=f)This added a programmatically generated page to our site. That is, the document doesn't actually appear in our source files, it only virtually becomes part of the site to be built by ProperDocs.
Continue to the documentation site.