Add "base:" target.HEADmaster

1 files changed, 4 insertions, 2 deletions

diff --git a/Dockerfile b/Dockerfile
index 7b6aed8..25517dd 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,8 +1,10 @@
 # Given that this is security software, you might want to consider
 # generating your own debian:stretch base image using debbootstrap
-# rather than trusting Dockerhub
+# rather than trusting Dockerhub, see "base" target in the Makefile.
 
-FROM debian:stretch
+ARG  DIST=debian
+ARG  CODE=stretch
+FROM $DIST:$CODE
 
 # Prerequisites.  Current version of python-django is a bit too recent
 # for the rpki-ca GUI, but rpki-rp only uses the ORM, which hasn't