diff options
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/makefile b/makefile new file mode 100644 index 0000000..694abb3 --- /dev/null +++ b/makefile | |||
@@ -0,0 +1,12 @@ | |||
1 | LISTEFICHIERS=aventuriers.tex arc_RCDA.tex | ||
2 | |||
3 | all: aventuriers.pdf | ||
4 | |||
5 | aventuriers.pdf: $(LISTEFICHIERS) | ||
6 | pdflatex aventuriers.tex | ||
7 | |||
8 | |||
9 | |||
10 | update: aventuriers.pdf $(LISTEFICHIERS) makefile | ||
11 | scp aventuriers.pdf positon:public_html/idee_2.pdf | ||
12 | scp $(LISTEFICHIERS) makefile phare:bla/ | ||