diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 1dd7620..c453c72 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -33,6 +33,7 @@ jobs: runs-on: ubuntu-latest steps: - uses: actions/checkout@v4 + - run: sudo apt-get update && sudo apt-get install -y mandoc - shell: bash run: ./scripts/check-man-text.sh diff --git a/man/tx.1 b/man/tx.1 index 51d1a76..bac4237 100644 --- a/man/tx.1 +++ b/man/tx.1 @@ -1,6 +1,6 @@ -.Dd March 15, 2026 +.Dd .Dt TX 1 -.Os +.Os TexOps .Sh NAME .Nm tx .Nd TexOps CLI to build LaTeX documents in the cloud diff --git a/man/tx.1.txt b/man/tx.1.txt index 1b2181a..363e259 100644 --- a/man/tx.1.txt +++ b/man/tx.1.txt @@ -317,4 +317,4 @@ EXAMPLES SEE ALSO gitignore(5) -macOS 15.7 March 15, 2026 macOS 15.7 +TexOps TexOps diff --git a/scripts/check-man-text.sh b/scripts/check-man-text.sh index 78523b1..96bd260 100755 --- a/scripts/check-man-text.sh +++ b/scripts/check-man-text.sh @@ -9,7 +9,7 @@ cd "$ROOT_DIR" make man-text -if ! git diff --stat --exit-code man/tx.1.txt; then +if ! git diff --exit-code man/tx.1.txt; then echo "" echo "man/tx.1.txt is out of date." echo "Please run 'make man-text' locally and commit the changes."