--- a/platforms/Makefile	Mon Aug 24 21:41:18 2015 +0200
+++ b/platforms/Makefile	Tue Aug 25 15:30:13 2015 +0200
@@ -6,5 +6,5 @@
 all:	${dockerfiles}
 clean:	; -rm -f ${dockerfiles}
 
-%:	%.in
+%:	%.in ../lib/*.docker
 	../scripts/din2d $< >$@