Skip to content

Integrate game visuals from drawTree to catalog docs page#829

Open
edwardchalstrey1 wants to merge 187 commits intomasterfrom
catalog/744
Open

Integrate game visuals from drawTree to catalog docs page#829
edwardchalstrey1 wants to merge 187 commits intomasterfrom
catalog/744

Conversation

@edwardchalstrey1
Copy link
Copy Markdown
Member

@edwardchalstrey1 edwardchalstrey1 commented Mar 25, 2026

Issues closed by this PR

Description of the changes in this PR

This PR adds:

  • Images for each of the games in the catalog so far
  • Download links for game images in .tex, .png, .pdf formats as well as .ef
  • Docs update for catalog developers with how to customise draw_tree settings in update.py
  • Updates Gambit's draw_tree dependency to 0.4.1 (png generation bug fixed)

How to review this PR

@edwardchalstrey1 edwardchalstrey1 marked this pull request as ready for review March 25, 2026 14:41
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.

[Catalog] Add visuals to games catalog

2 participants