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.

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

Update buildsystem #4

Closed
wants to merge 3 commits into from
Closed

Update buildsystem #4

wants to merge 3 commits into from

Conversation

Aeshus
Copy link
Member

@Aeshus Aeshus commented Apr 25, 2023

The makefile currently is a little jank, as it has some weird command-line arguments and is overall in need of fixing.

As a result, the following changes were made:

  • There is now a "TEX" and "CONSTITUTION" variable to make it more
    obvious what we're building and where.
  • Instead of manually deleting each file created by latexmk (which is
    subject to change), we instead call the "-CA" command-line flag to
    clean out all files created by latexmk.
  • We now run the "-silent" flag on all latexmk invocations to clean up
    the crazy stdin. As far as I know, the "-quiet" flag is the same.

Possible other changes:

  • We could also run "-c" as part of the building procedure to delete
    extra files on creation, though I don't think it hurts.

The makefile currently is a little jank, as it has some weird
command-line arguments and is overall in need of fixing.

As a result, the following changes were made:
- There is now a "TEX" and "CONSTITUTION" variable to make it more
  obvious what we're building and where.
- Instead of manually deleting each file created by latexmk (which is
  subject to change), we instead call the "-CA" command-line flag to
  clean out all files created by latexmk.
- We now run the "-silent" flag on all latexmk invocations to clean up
  the crazy stdin. As far as I know, the "-quiet" flag is the same.

Possible other changes:
- We could also run "-c" as part of the building procedure to delete
  extra files on creation, though I don't think it hurts.
@Aeshus
Copy link
Member Author

Aeshus commented Jul 29, 2023

I've deleted the amendment notice as the new amendment procedure allows me to skip including it for commits that don't actually edit the document.

@Aeshus Aeshus self-assigned this Jul 29, 2023
@Aeshus Aeshus closed this Oct 31, 2024
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