#2696 publish both ENBFs

objectionary · Dec 11, 2023 · 1ae78c7 · 1ae78c7
1 parent 2cacf0e
commit 1ae78c7
Showing 1 changed file with 9 additions and 8 deletions.
diff --git a/.github/workflows/ebnf.yml b/.github/workflows/ebnf.yml
@@ -44,14 +44,15 @@ jobs:
             "-Dantlr2ebnf.margin=40"
       - run: |
           set -x
-          cp eo-parser/target/ebnf/org/eolang/parser/Program.pdf .
-          pdfcrop --margins '10 10 10 10' Program.pdf crop.pdf
-          pdf2svg crop.pdf ebnf.svg
-          convert -density 300 -quality 100 -transparent white -colorspace RGB crop.pdf ebnf.png
-          ls -al
-          mkdir gh-pages
-          cp ebnf.png gh-pages
-          cp ebnf.svg gh-pages
+          for p in Program Phi; do
+            cp "eo-parser/target/ebnf/org/eolang/parser/${p}.pdf" .
+            pdfcrop --margins '10 10 10 10' "${p}.pdf" "${p}-cropped.pdf"
+            pdf2svg "${p}-cropped.pdf" "${p}.svg"
+            convert -density 300 -quality 100 -transparent white -colorspace RGB "${p}-cropped.pdf" "${p}.png"
+            mkdir -p gh-pages/ebnf
+            cp "${p}.png" gh-pages/ebnf
+            cp "${p}.svg" gh-pages/ebnf
+          done
       - uses: JamesIves/[email protected]
         with:
           branch: gh-pages