From c2222845e7f8f388b9915e456fea127479069c7d Mon Sep 17 00:00:00 2001 From: Yegor Bugayenko Date: Thu, 14 Dec 2023 13:57:45 +0300 Subject: [PATCH] #2696 convert svg, not pdf --- .github/workflows/ebnf.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ebnf.yml b/.github/workflows/ebnf.yml index b53b3c12fe..fc8e9087c0 100644 --- a/.github/workflows/ebnf.yml +++ b/.github/workflows/ebnf.yml @@ -46,7 +46,7 @@ jobs: 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-color white -colorspace RGB "${p}-cropped.pdf" "${p}.png" + convert -density 300 -quality 100 -transparent-color white -colorspace RGB "${p}.svg" "${p}.png" mkdir -p gh-pages/ebnf cp "${p}.png" gh-pages/ebnf cp "${p}.svg" gh-pages/ebnf