documentation/graphs/Makefile
changeset 1202 91d190223daa
parent 1174 235f34ca50e2
child 1203 acb649738601
equal deleted inserted replaced
1201:732281184c54 1202:91d190223daa
    18 PS = $(addsuffix .ps,$(GRAPHS))
    18 PS = $(addsuffix .ps,$(GRAPHS))
    19 PDF = $(addsuffix .pdf,$(GRAPHS))
    19 PDF = $(addsuffix .pdf,$(GRAPHS))
    20 
    20 
    21 #-----------------------------------------------------------------------------
    21 #-----------------------------------------------------------------------------
    22 
    22 
    23 all: $(PDF)
    23 all: pdf
       
    24 
       
    25 pdf: $(PDF)
       
    26 
       
    27 ps: $(PS)
    24 
    28 
    25 %.ps: %.dot
    29 %.ps: %.dot
    26 	dot -Tps -o $@ $<
    30 	dot -Tps -o $@ $<
    27 
    31 
    28 %.pdf: %.ps
    32 %.pdf: %.ps
    29 	ps2pdf $<
    33 	epstopdf $<
    30 
    34 
    31 clean:
    35 clean:
    32 	@rm -f *.ps *.pdf
    36 	@rm -f *.ps *.pdf
    33 
    37 
    34 #-----------------------------------------------------------------------------
    38 #-----------------------------------------------------------------------------