Skip to content

Commit

Permalink
#2242: one page
Browse files Browse the repository at this point in the history
  • Loading branch information
yegor256 committed Jul 12, 2023
1 parent 9fc3f0b commit d6a3c27
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/ebnf.yml
Original file line number Diff line number Diff line change
Expand Up @@ -49,7 +49,7 @@ jobs:
sed -i -e '/EBNF/{r ebnf.txt' -e 'd}' ebnf.tex
cat ebnf.tex
pdflatex -shell-escape ebnf.tex
convert -density 300 -quality 100 -colorspace RGB ebnf.pdf ebnf.png
convert -density 300 -quality 100 -colorspace RGB ebnf.pdf[0] ebnf.png
mkdir gh-pages
ls -al
cp ebnf.png gh-pages
Expand Down

0 comments on commit d6a3c27

Please sign in to comment.