Merge branch 'esperantigo/unua-provo' into backmerge

.github/workflows/kontrolu.yml

@@ -0,0 +1,49 @@
+---
+
+name: "Kontrolu"
+run-name: "Kontrolu"
+
+on:
+  pull_request:
+    types:
+      - opened
+      - edited
+      - reopened
+      - synchronize
+      - ready_for_review
+
+permissions:
+  contents: read
+
+jobs:
+  kontrolu:
+    runs-on: ubuntu-latest
+    steps:
+      - run: sudo apt install pandoc
+
+      - uses: actions/checkout@v4
+        with:
+          persist-credentials: false
+          fetch-depth: 0
+
+      - run: touch requirements.txt
+
+      - uses: actions/setup-python@v5
+        with:
+          python-version: "3.12"
+          cache: "pip"
+
+      - run: python3 scripts/check_chapters.py
+
+      - uses: pre-commit/action@v3.0.1
+
+      - run: wget "${URL}" -O gramma.zip && unzip gramma.zip
+        env:
+          URL: https://github.com/caderek/gramma/releases/download/v1.6.0/gramma-linux64-v1.6.0.zip
+
+      - run: git diff --name-only "origin/${HEAD}" "$(git merge-base "origin/${HEAD}" "origin/${BASE}" --)" -- | grep 'chapters/.*\.tex$' | xargs --verbose -IFILE pandoc FILE --standalone --from latex --to plain --output FILE.gramma.md
+        env:
+          BASE: ${{ github.base_ref }}
+          HEAD: ${{ github.head_ref }}
+
+      - run: find . -name '*.gramma.md' | xargs --verbose -IFILE ./gramma --print --markdown check FILE

.github/workflows/kunmetu.yml

@@ -0,0 +1,87 @@
+name: "Kunmetu HPMOR-ajn PDF-dosierojn kaj Bitlibrojn"
+run-name: "Kunmetu HPMOR-ajn PDF-dosierojn kaj Bitlibrojn"
+
+on:
+  push:
+    branches-ignore: [main]
+
+concurrency:
+  group: ${{ github.workflow_ref }}
+  cancel-in-progress: true
+
+jobs:
+  kunmetu:
+    name: "Kunmetu HPMOR-ajn PDF-dosierojn kaj Bitlibrojn"
+    runs-on: ubuntu-latest
+    steps:
+
+      - uses: actions/checkout@v4
+        with:
+          fetch-depth: 0
+
+      - run: touch requirements.txt
+
+      - uses: actions/setup-python@v5
+        with:
+          python-version: "3.12"
+
+      - run: wget --quiet "${URL}" -O hpmor-prev.html
+        env:
+          URL: https://github.com/${{ github.repository }}/releases/download/LaboroEnProgreso/hpmor.html
+
+      # https://github.com/abbbi/github-actions-tune/blob/master/speedup.sh
+      - run: sudo sed -i 's/yes/no/g' '/etc/initramfs-tools/update-initramfs.conf'
+      - run: sudo rm -f /var/lib/man-db/auto-update
+      - run: sudo sed '/fontconfig/d' -i '/var/lib/dpkg/triggers/File'
+      - run: sudo sed '/install-info/d' -i '/var/lib/dpkg/triggers/File'
+      - run: sudo sed '/mime/d' -i '/var/lib/dpkg/triggers/File'
+      - run: sudo sed '/hicolor-icon-theme/d' -i '/var/lib/dpkg/triggers/File'
+      - run: echo "force-unsafe-io" | sudo tee -a /etc/dpkg/dpkg.cfg.d/force-unsafe-io
+      - run: echo -e '#!/bin/sh\nexec eatmydata /usr/bin/dpkg $@' | sudo tee /usr/local/bin/dpkg && sudo chmod +x /usr/local/bin/dpkg
+      - run: echo -e '#!/bin/sh\nexec eatmydata /usr/bin/apt $@' | sudo tee /usr/local/bin/apt && sudo chmod +x /usr/local/bin/apt
+      - run: echo -e '#!/bin/sh\nexec eatmydata /usr/bin/apt-get $@' | sudo tee /usr/local/bin/apt-get && sudo chmod +x /usr/local/bin/apt-get
+
+      - run: sh scripts/install_requirements.sh
+      - run: sh scripts/make_pdfs.sh
+      - run: sh scripts/make_ebooks.sh
+
+      - run: diff -u -s hpmor-prev.html hpmor.html | tee hpmor-html-diff.log
+      - run: rm hpmor-prev.html
+
+      - id: upload-artifact
+        uses: actions/upload-artifact@v4
+        with:
+          name: bitlibrojn
+          retention-days: 14
+          path: |
+            ./hpmor-html-diff.log
+            ./hpmor*.pdf
+            ./hpmor.epub
+            ./hpmor.mobi
+            ./hpmor.fb2
+            ./hpmor.html
+
+      - run: echo "ARTIFACT_URL=${ARTIFACT_URL}" | tee -a "$GITHUB_ENV"
+        env:
+          ARTIFACT_URL: ${{ steps.upload-artifact.outputs.artifact-url }}
+
+      - run: |
+          tee -a "${GITHUB_STEP_SUMMARY}" << EOF
+          Artifact uploaded as ${ARTIFACT_URL}
+          EOF
+
+      - if: github.ref_name == 'esperantigo/unua-provo'
+        uses: softprops/action-gh-release@v2
+        with:
+          name: "Laboro en Progreso"
+          body: "Ĉi tiu eldono estas laboro en progreso."
+          target_commitish: ${{ github.sha }}
+          tag_name: LaboroEnProgreso
+          prerelease: true
+          files: |
+            ./hpmor-html-diff.log
+            ./hpmor*.pdf
+            ./hpmor.epub
+            ./hpmor.mobi
+            ./hpmor.fb2
+            ./hpmor.html

.gitignore

@@ -48,3 +48,5 @@ hpmor*.fb2
 hpmor*.html
 hpmor*.mobi
 hpmor*.zip
+
+**.tex.gramma.md

.gramma.json

@@ -0,0 +1,94 @@
+{
+  "api_url": "inherit",
+  "api_key": "",
+  "dictionary": [
+    "Azkabano",
+    "Baĥ",
+    "Bogdan",
+    "Brin",
+    "Butnaru",
+    "DRAJKO",
+    "DUMBELDOR",
+    "Darto",
+    "David",
+    "Duonsanga",
+    "ELIEZER",
+    "EVANZ",
+    "Erik",
+    "Eŝer",
+    "Fajnman",
+    "Fanfikcio",
+    "GRANĜER",
+    "Ganeŝa",
+    "Godel",
+    "Granĝer",
+    "HERMAJNI",
+    "HPMOR",
+    "Hermajni",
+    "Heŭristikoj",
+    "Hogŭartsa",
+    "Hogŭartso",
+    "J",
+    "JUDKAŬSKI",
+    "Judkaŭski",
+    "K",
+    "KŬIREL",
+    "Kŭirel",
+    "MIKGONAGOL",
+    "MINERVA",
+    "Ma",
+    "Mejer-Norŭud",
+    "Mikael",
+    "Mikgonagol",
+    "PETUNJA",
+    "POTR",
+    "POTR-EVANZ-VERES",
+    "Petunja",
+    "Potr",
+    "RACIONALECO",
+    "ROŬLING",
+    "Rajmond",
+    "Roŭling",
+    "Tomas",
+    "Toto",
+    "Trismegisto",
+    "Vadero",
+    "Veres",
+    "at",
+    "bitlibro",
+    "com",
+    "fanarton",
+    "fanfikcio",
+    "flap",
+    "formatita",
+    "lesswrong",
+    "normalback",
+    "normalfront",
+    "normalspine",
+    "racionaleco",
+    "rakontarko",
+    "t.e",
+    "tviti",
+    "ĜAJMZ",
+    "ŝokitis"
+  ],
+  "language": "eo",
+  "rules": {
+    "casing": true,
+    "colloquialisms": true,
+    "compounding": true,
+    "confused_words": true,
+    "false_friends": true,
+    "gender_neutrality": true,
+    "grammar": true,
+    "misc": true,
+    "punctuation": true,
+    "redundancy": true,
+    "regionalisms": true,
+    "repetitions": true,
+    "semantics": true,
+    "style": true,
+    "typography": true,
+    "typos": true
+  }
+}