tweak makefile
authorMathieu Lacage <mathieu.lacage@sophia.inria.fr>
Mon Apr 06 17:10:05 2009 +0200 (10 months ago)
changeset 2096f32c03843b
parent 19 7626d19888ff
child 21 58232c233d01
tweak makefile
Makefile
     1.1 --- a/Makefile	Mon Apr 06 17:06:39 2009 +0200
     1.2 +++ b/Makefile	Mon Apr 06 17:10:05 2009 +0200
     1.3 @@ -37,7 +37,7 @@
     1.4  view: $(MAIN_PDF)
     1.5  	evince $(MAIN_PDF)
     1.6  
     1.7 -SUFFIXES=.aux .log .nav .out .pdf .snm .toc
     1.8 +SUFFIXES=.aux .log .nav .out .pdf .snm .toc .vrb
     1.9  clean:  
    1.10  	-for suffix in $(SUFFIXES); do rm -f $(basename $(MAIN_SOURCE))$$suffix 2>/dev/null; done
    1.11  	-rm -f $(DIA_PDFS) 2>/dev/null