Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add default tectonic ranks #5294

Open
CarolineDenis opened this issue Sep 30, 2024 · 0 comments · May be fixed by #5316
Open

Add default tectonic ranks #5294

CarolineDenis opened this issue Sep 30, 2024 · 0 comments · May be fixed by #5316
Assignees
@CarolineDenis
Labels
1 - Request Improvements or extensions to existing behavior
Milestone
7.9.8

Comments

@CarolineDenis
Copy link
Contributor

There is no special logic or requirements for this tree, and the default should simply be a root node and 5 simple ranks:

Superstructure
Tectonic domain
Tectonic subdomain
Tectonic unit
Tectonic subunit
@CarolineDenis CarolineDenis added the 1 - Request Improvements or extensions to existing behavior label Sep 30, 2024
@CarolineDenis CarolineDenis added this to the 7.9.9 milestone Sep 30, 2024
CarolineDenis added a commit that referenced this issue Oct 8, 2024
@CarolineDenis
Add tectonic default ranks
eea7c34 
Fixes #5294
@CarolineDenis CarolineDenis linked a pull request Oct 8, 2024 that will close this issue
Open
8 tasks
@CarolineDenis CarolineDenis self-assigned this Oct 8, 2024
@CarolineDenis CarolineDenis modified the milestones: 7.9.9, 7.9.8 Oct 10, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@CarolineDenis CarolineDenis

Labels
1 - Request Improvements or extensions to existing behavior
Projects
None yet
Milestone
7.9.8
Development

Successfully merging a pull request may close this issue.

Add tectonic default ranks specify/specify7
1 participant
@CarolineDenis