equal
deleted
inserted
replaced
1 #----------------------------------------------------------------------------- |
1 #----------------------------------------------------------------------------- |
2 # |
2 # |
3 # $Id$ |
3 # $Id: Makefile,v 0b19ac5acad2 2009/06/18 11:40:13 fp $ |
4 # |
4 # |
5 #----------------------------------------------------------------------------- |
5 #----------------------------------------------------------------------------- |
6 |
6 |
7 GRAPHS := \ |
7 GRAPHS := \ |
8 fsm_change \ |
8 fsm_change \ |
31 |
31 |
32 %.ps: %.dot |
32 %.ps: %.dot |
33 dot -Tps -o $@ $< |
33 dot -Tps -o $@ $< |
34 |
34 |
35 %.pdf: %.ps |
35 %.pdf: %.ps |
36 epstopdf $< |
36 ps2pdf $< |
37 |
37 |
38 clean: |
38 clean: |
39 @rm -f *.ps *.pdf |
39 @rm -f *.ps *.pdf |
40 |
40 |
41 #----------------------------------------------------------------------------- |
41 #----------------------------------------------------------------------------- |