From 1f1e51b29cc7edace54ac5e2e250289fe5f6d4cf Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Sat, 21 Feb 2026 16:37:57 +0100 Subject: [PATCH] Fix issue with spacing, remove pipeline for now --- .gitea/workflows/update-docs.yml | 35 ------------------- .gitea/workflows/update-helpers.yml | 35 ------------------- janishutz-helpers.tex | 2 +- src/counters/generator.sty | 2 +- ...ments.sty => environments-descriptors.sty} | 0 5 files changed, 2 insertions(+), 72 deletions(-) delete mode 100644 .gitea/workflows/update-docs.yml delete mode 100644 .gitea/workflows/update-helpers.yml rename src/style/{environments.sty => environments-descriptors.sty} (100%) diff --git a/.gitea/workflows/update-docs.yml b/.gitea/workflows/update-docs.yml deleted file mode 100644 index 296baf0..0000000 --- a/.gitea/workflows/update-docs.yml +++ /dev/null @@ -1,35 +0,0 @@ -name: Update docs -on: - push: - paths: - - 'docs/**' -jobs: - build_docs: - runs-on: ubuntu-latest - steps: - - name: Set up Git repository - uses: actions/checkout@v6 - - name: Sign into gitea registry - uses: https://github.com/docker/login-action@v3 - with: - username: ${{ vars.REGISTRY_USER_USERNAME }} - password: ${{ secrets.REGISTRY_USER_PASSWORD }} - registry: ${{ vars.REGISTRY_BASE_URL }} - - name: Run format of docs - uses: actions/latex-format@main - with: - workdir: docs - - name: Run build - uses: actions/latex-full@main - with: - workdir: docs - include_helpers: true - - name: Upload compiled docs - uses: actions/git-auto-commit-action@v7 - with: - commit_message: "[skip ci] Build docs on push" - file_pattern: '*.pdf' - commit_user_name: LaTeX compiler [bot] - commit_user_email: actions@janishutz.com - commit_author: LaTeX compiler [bot] - push_options: "--force" diff --git a/.gitea/workflows/update-helpers.yml b/.gitea/workflows/update-helpers.yml deleted file mode 100644 index d0b6f6d..0000000 --- a/.gitea/workflows/update-helpers.yml +++ /dev/null @@ -1,35 +0,0 @@ -name: Update helpers -on: - push: - paths: - - 'src/**' -jobs: - build_helpers: - runs-on: ubuntu-latest - steps: - - name: Set up Git repository - uses: actions/checkout@v6 - - name: Sign into gitea registry - uses: https://github.com/docker/login-action@v3 - with: - username: ${{ vars.REGISTRY_USER_USERNAME }} - password: ${{ secrets.REGISTRY_USER_PASSWORD }} - registry: ${{ vars.REGISTRY_BASE_URL }} - - name: Run format of main - uses: actions/latex-format@main - with: - workdir: main - - name: Run format of extra - uses: actions/latex-format@main - with: - workdir: extra - - name: Run build - run: ./build.sh - - name: Upload compiled helpers - uses: actions/git-auto-commit-action@v7 - with: - commit_message: "[skip ci] Build helpers on push" - commit_user_name: Helpers compiler [bot] - commit_user_email: actions@janishutz.com - commit_author: Helpers compiler [bot] - push_options: "--force" diff --git a/janishutz-helpers.tex b/janishutz-helpers.tex index 13db9f0..a548a98 100644 --- a/janishutz-helpers.tex +++ b/janishutz-helpers.tex @@ -1117,7 +1117,7 @@ \newcommand{\printCounter}[1]{\refstepcounter{#1}\csname the#1\endcsname} \newcommand{\printLabel}[1]{% - \ifthenelse{\boolean{numberingDisabled}}{}{ + \ifthenelse{\boolean{numberingDisabled}}{}{% \ifcsdef{#1numbering}{% Extra config present \ifthenelse{\equal{\printNumberingConfigForDescriptor{#1}}{default}}{% \labelPrintBackendRoutine{#1}% diff --git a/src/counters/generator.sty b/src/counters/generator.sty index 779ed33..8688921 100644 --- a/src/counters/generator.sty +++ b/src/counters/generator.sty @@ -3,7 +3,7 @@ \newcommand{\printCounter}[1]{\refstepcounter{#1}\csname the#1\endcsname} \newcommand{\printLabel}[1]{% - \ifthenelse{\boolean{numberingDisabled}}{}{ + \ifthenelse{\boolean{numberingDisabled}}{}{% \ifcsdef{#1numbering}{% Extra config present \ifthenelse{\equal{\printNumberingConfigForDescriptor{#1}}{default}}{% \labelPrintBackendRoutine{#1}% diff --git a/src/style/environments.sty b/src/style/environments-descriptors.sty similarity index 100% rename from src/style/environments.sty rename to src/style/environments-descriptors.sty