CI: Fix tuto2 compilation
This commit is contained in:
parent
7fa662ced0
commit
4259fa785c
1 changed files with 1 additions and 1 deletions
|
@ -19,7 +19,7 @@ steps:
|
|||
- make -C tutorial/1
|
||||
- mv tutorial/1/tutorial.pdf dist/tutorial-1.pdf
|
||||
- make -C tutorial/2
|
||||
- mv tutorial/2/tutorial-2.pdf tutorial/2/tutorial-2-clair.pdf dist/
|
||||
- mv tutorial/2/2-tutorial.pdf tutorial/2/2-tutorial-clair.pdf dist/
|
||||
- make -C tutorial/3
|
||||
- mv tutorial/3/tutorial.pdf dist/tutorial-3.pdf
|
||||
- make -C tutorial/4
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue