platforms/Makefile
changeset 23 0d1bd8c1cf85
parent 5 3e135449f797
equal deleted inserted replaced
22:06b955c7b673 23:0d1bd8c1cf85
     4 .PHONY:	all clean
     4 .PHONY:	all clean
     5 
     5 
     6 all:	${dockerfiles}
     6 all:	${dockerfiles}
     7 clean:	; -rm -f ${dockerfiles}
     7 clean:	; -rm -f ${dockerfiles}
     8 
     8 
     9 %:	%.in
     9 %:	%.in ../lib/*.docker
    10 	../scripts/din2d $< >$@
    10 	../scripts/din2d $< >$@