Add CI, add support for metamath-de.pdf

.github/workflows/ci.yml

@@ -0,0 +1,41 @@
+name: CI
+
+on: [push, pull_request]
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v3
+    - name: Install LaTeX
+      run: |
+        sudo apt-get -qq update
+        sudo apt-get install -y --no-install-recommends \
+          dvipng cm-super \
+          texlive-fonts-recommended \
+          texlive-latex-extra \
+          texlive-fonts-extra \
+          texlive-latex-recommended \
+          texlive-lang-german
+        sudo updmap -sys
+    - name: Build metamath-narrow.pdf
+      run: ./make-narrow
+    - name: Build metamath.pdf
+      run: ./generate-pdf
+    - name: Build metamath-de.pdf
+      run: ./generate-pdf normal de
+    - uses: actions/upload-artifact@v3
+      with:
+        name: metamath-pdf
+        path: |
+          metamath.pdf
+          metamath-narrow.pdf
+          metamath-de.pdf
+    - name: Release
+      uses: softprops/action-gh-release@v1
+      if: github.event_name == 'push' && github.ref == 'refs/heads/master'
+      with:
+        files: |
+          metamath.pdf
+          metamath-narrow.pdf
+          metamath-de.pdf

.gitignore

@@ -0,0 +1,19 @@
+*.aux
+*.bbl
+*.bib
+*.blg
+*.fdb_latexmk
+*.fls
+*.idx
+*.ind
+*.ilg
+*.log
+*.out
+*.pdf
+*.toc
+*.synctex.gz
+/realref.sty
+/temp-metamath/
+/temp-metamath-narrow/
+/temp-metamath-de/
+/temp-metamath-de-narrow/

allowed-errors

@@ -1,5 +1,7 @@
 LaTeX Warning: File `realref.sty' already exists on the system.
 LaTeX Warning: File `metamath.bib' already exists on the system.
+Package amsmath Warning: Foreign command \atop;
 LaTeX Font Warning: Font shape `OMS/cmtt/m/n' undefined
 LaTeX Font Warning: Font shape `OMS/cmtt/bx/n' undefined
+LaTeX Font Warning: Font shape `TS1/cmtt/bx/n' undefined
 LaTeX Font Warning: Some font shapes were not available, defaults substituted.

generate-pdf

@@ -7,13 +7,27 @@ set -ex
 style="${1:-normal}"
 style="${style%.sty}"
 
-texfile="${2:-metamath}"
+lang="${2:-en}"
+
+texfile="${3:-metamath}"
 texfile="${texfile%.tex}"
 
-if [ "$style" == 'normal' ]; then
-  outfile="$texfile"
+if [ "$lang" = 'en' ]; then
+  basename="$texfile"
+  basedir="."
+else
+  basename="${texfile}-${lang}"
+  if [ "$lang" = 'de' ]; then
+    basedir="german"
+  else
+    basedir="$lang"
+  fi
+fi
+
+if [ "$style" = 'normal' ]; then
+  outfile="$basename"
 else
-  outfile="${texfile}-${style}"
+  outfile="${basename}-${style}"
 fi
 # Try to remove output .pdf first - if we can't, no point in going further.
 rm -f "${outfile}.pdf"
@@ -28,8 +42,8 @@ do_pdflatex () {
 tempdir="temp-$outfile"
 rm -fr "$tempdir"
 mkdir -p "$tempdir"
-cp -p "${texfile}.tex" "$tempdir"
-cp -p "${style}.sty" "$tempdir/special-settings.sty"
+cp -p "$basedir/${texfile}.tex" "$tempdir"
+cp -p "$basedir/${style}.sty" "$tempdir/special-settings.sty"
 
 cd "temp-$outfile"
 touch metamath.ind

metamath.tex

@@ -763,7 +763,8 @@
 % * "tabu" much more capable and seems to be recommended. So use that.
 
 \usepackage{makecell}      % Enable forced line splits within a table cell
-\usepackage{longtable}     % Enable multi-page tables
+% v4.13 needed for tabu: https://tex.stackexchange.com/questions/600724/dimension-too-large-after-recent-longtable-update
+\usepackage{longtable}[=v4.13] % Enable multi-page tables
 \usepackage{tabu}          % Multi-page tables with wrapped text in a cell
 
 % You can find more Tex packages using commands like: