Makefile

2018-10-26 10:56:26 +02:00 · 2018-10-26 10:56:26 +02:00 · f135ef3257
commit f135ef3257
parent 7c7f21ac6e
1 changed files with 0 additions and 3 deletions
--- a/3
+++ b/3
@ -3,9 +3,6 @@ OPT=--pdf --synctex --command "makeidx.style index.ist"
 all: main.pdf
 manuscrit.pdf: main.pdf
 	ps2pdf main.pdf manuscrit.pdf
 clean:
 	rubber --clean ${SRC}