14 mkds5n-4.fp: mkds5n.5c
15 nickle mkds5n.5c -o $@ 4
17 mkds5n-5.fp: mkds5n.5c
18 nickle mkds5n.5c -o $@ 5
20 mkds5n-6.fp: mkds5n.5c
21 nickle mkds5n.5c -o $@ 6
23 mkds5n-7.fp: mkds5n.5c
24 nickle mkds5n.5c -o $@ 7
26 mkds5n-8.fp: mkds5n.5c
27 nickle mkds5n.5c -o $@ 8
29 mkds5n-9.fp: mkds5n.5c
30 nickle mkds5n.5c -o $@ 9
32 mkds5n-10.fp: mkds5n.5c
33 nickle mkds5n.5c -o $@ 10
35 mkds5n-11.fp: mkds5n.5c
36 nickle mkds5n.5c -o $@ 11
38 mkds5n-12.fp: mkds5n.5c
39 nickle mkds5n.5c -o $@ 12