Add documentation export to single HTML and PDF files - #7081

Draft

peterkir with Copilot wants to merge 6 commits into

copilot/add-html-pdf-generation-options

Commits on Jun 5, 2026

Add HTML and PDF export scripts for documentation

Copilot
and
peterkir
committed
Add .gitignore entries for generated documentation exports

Copilot
and
peterkir
committed
Fix HTML parser and add release export script

Copilot
and
peterkir
committed
Add implementation summary and update export documentation

Copilot
and
peterkir
committed
Add comprehensive usage examples for documentation export

Copilot
and
peterkir
committed
Update export scripts for Just-the-docs theme compatibility

Copilot
and
peterkir
committed