diff options
| author | Jan Aalmoes <jan.aalmoes@inria.fr> | 2024-09-11 00:10:50 +0200 |
|---|---|---|
| committer | Jan Aalmoes <jan.aalmoes@inria.fr> | 2024-09-11 00:10:50 +0200 |
| commit | bf5b05a84e877391fddd1b0a0b752f71ec05e901 (patch) | |
| tree | 149609eeff1d475cd60f398f0e4bfd786c5d281c /synthetic/compile.sh | |
| parent | 03556b31409ac5e8b81283d3a6481691c11846d7 (diff) | |
Preuve existe f pas cca equivalant exists f BA pas randomguess
Diffstat (limited to 'synthetic/compile.sh')
| -rw-r--r-- | synthetic/compile.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/synthetic/compile.sh b/synthetic/compile.sh new file mode 100644 index 0000000..3897a0b --- /dev/null +++ b/synthetic/compile.sh @@ -0,0 +1,5 @@ +pdflatex main.tex; +bibtex main; +pdflatex main.tex; +pdflatex main.tex; +pdflatex main.tex; |