Makefile
changeset 12 d64ffbd7d8c6
parent 8 4b3d55acc9d7
equal deleted inserted replaced
1:50a534fc517f 2:2ef8c73de3b9
    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