equal
deleted
inserted
replaced
13 $(EPS_IMAGES18:%.eps=gen-images/%.png): gen-images/%.png: images/%.eps |
13 $(EPS_IMAGES18:%.eps=gen-images/%.png): gen-images/%.png: images/%.eps |
14 -mkdir gen-images |
14 -mkdir gen-images |
15 $(GS_COMMAND) -sDEVICE=pngalpha -r18 -sOutputFile=$@ $< |
15 $(GS_COMMAND) -sDEVICE=pngalpha -r18 -sOutputFile=$@ $< |
16 |
16 |
17 html: $(PNG_IMAGES) |
17 html: $(PNG_IMAGES) |
|
18 -mkdir gen-dox |
|
19 ./titlegen.py |
18 doxygen Doxyfile |
20 doxygen Doxyfile |
19 |
21 |
20 clean: |
22 clean: |
21 -rm -rf html |
23 -rm -rf html |
22 -rm -f doxygen.log |
24 -rm -f doxygen.log |