Skip to content

Run docgen before Sphinx build in Makefile#17

Draft
Copilot wants to merge 2 commits intomainfrom
copilot/fix-makefile-docgen-execution
Draft

Run docgen before Sphinx build in Makefile#17
Copilot wants to merge 2 commits intomainfrom
copilot/fix-makefile-docgen-execution

Conversation

Copy link
Contributor

Copilot AI commented Mar 25, 2026

tools/docgen.py generates docs/baseset_sprites.md and associated images referenced by docs/index.md, but make doc only ran Sphinx without invoking docgen first.

  • Added python tools/docgen.py step to the doc target before make html

🔒 GitHub Advanced Security automatically protects Copilot coding agent pull requests. You can protect all pull requests by enabling Advanced Security for your repositories. Learn more about Advanced Security.

Co-authored-by: ahyangyi <700956+ahyangyi@users.noreply.github.com>
Agent-Logs-Url: https://github.com/ahyangyi/agrf/sessions/1a411e9b-fba9-4d96-982f-f8429ae3563a
Copilot AI changed the title [WIP] Fix makefile to run docgen before generating docs Run docgen before Sphinx build in Makefile Mar 25, 2026
Copilot AI requested a review from ahyangyi March 25, 2026 07:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants