Skip to content

Conversation

@VladimirUmek
Copy link
Collaborator

  • documentation sources moved into Documentation directory
  • new style template
  • added special handling for custom \token{x} command
  • updated gen_pack template script to latest version
  • rename GitHub action build.yml to pack.yml (match gen-pack-action name)

- documentation sources moved into Documentation directory
- new style template
- added special handling for custom \token{x} command
- updated gen_pack template script to latest version
- rename GitHub action build.yml to pack.yml (match gen-pack-action name)
Copy link
Collaborator

@MiloradCvjetkovic MiloradCvjetkovic left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@MiloradCvjetkovic MiloradCvjetkovic merged commit 43b76b4 into main Oct 21, 2025
1 check passed
@MiloradCvjetkovic MiloradCvjetkovic deleted the doc_update branch October 21, 2025 11:20
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.

3 participants