Add PDF compilation pipeline for Developer Guide#58

Merged

Malcolmnixon merged 12 commits intomainfrom

copilot/compile-developer-guide-pdf

Jan 7, 2026

Commits on Jan 6, 2026

Initial plan
Copilot
committed
Add PDF generation infrastructure for Developer Guide

Copilot
and
Malcolmnixon
committed
Fix YAML linting issues in definition.yaml

Copilot
and
Malcolmnixon
committed
Address PR feedback: extract CSS, stay in repo root, upload PDF only

Copilot
and
Malcolmnixon
committed
Fix CSS path and simplify YAML syntax

Copilot
and
Malcolmnixon
committed
Fix tool commands and switch to Windows runner

Copilot
and
Malcolmnixon
committed
Fix input file path in definition.yaml to use full path

Copilot
and
Malcolmnixon
committed
Move build-docs job to separate reusable workflow

Copilot
and
Malcolmnixon
committed
Rename build-docs.yaml to build_docs.yaml for naming consistency

Copilot
and
Malcolmnixon
committed

Commits on Jan 7, 2026