add docker in Makefile.docker (#4864)
This adds the (older) docker stuff back in a new Makefile.docker. Add
.dreck alias to be able to release the docker stuff via a github issue.
See #4858
Signed-off-by:
Miek Gieben <miek@miek.nl>
Showing
Makefile.docker
0 → 100644
Please register or sign in to comment