Skip to content

Conversation

@AlexP-Coding
Copy link

@AlexP-Coding AlexP-Coding commented Nov 12, 2025

Updated minitoc patterns to include versioning. TeX.gitignore now ignores both numbered and non-numbered minitoc files.

The changes were made to include:

  1. Numbered .maf, .mlf, .mlt, and .mtc files;
  2. Non-numbered .slf, .slt, and .stc files.

Reasons for making this change

I was working on my thesis in LaTex (I moved it from Overleaf to VSCode + LaTeXWorkshop to prevent network issues) and noticed that over 10 of the minidoc types its build produced were still being committed rather than ignored. When I investigated, I realized that the glob patterns weren't matching with files:

  1. Ending in numbers (e.g.: it matched with main.maf but not main.maf1) in some cases;
  2. And files that did not end in numbers (e.g.: it matched with main.mtc 1 through 8, like main.mtc2, but not with main.mtc).

As my build produces a large number of minitoc files, some of them already part of the thesis template I was supplied and which I am thus reluctant to change, I think it would be valuable for the community to edit these patterns to match more usefull-to-ignore files.

Links to documentation supporting these rule changes

image

If this is a new template

N/A

Merge and Approval Steps

  • Confirm that you've read the contribution guidelines and ensured your PR aligns
  • Ensure CI is passing
  • Get a review and Approval from one of the maintainers

Updated minitoc patterns to include versioning. `TeX.gitignore` now ignores both numbered and non-numbered minitoc files. 

The changes were made to include:
- Numbered `.maf`, `.mlf`, `.mlt`, and `.mtc` files;
- Non-numbered `.slf`, `.slt`, and `.stc` files.
@AlexP-Coding AlexP-Coding requested a review from a team as a code owner November 12, 2025 15:53
@doriangurazdowski0-prog
Copy link

@AlexP-Coding
Copy link
Author

@wirecat Are you able to review, as you seem to be the dev most up-to-date on this file's contents? Regardless of the answer: thank you for your time.

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