diff --git a/slides/set.bash b/slides/set.bash index 16838cd..449d274 100644 --- a/slides/set.bash +++ b/slides/set.bash @@ -1,2 +1,3 @@ #!/bin/bash +for i in *.dot; do dot -Tpdf "${i}" -o "${i%.dot}.pdf"; done pdftk baxter.pdf emphase.pdf role-commentaires.pdf qualite-commentaires.pdf entites.pdf relations.pdf cat output slides-commentaires-theorie.pdf