From a90bb0708b996d9ac2e4347a5d11ae6c9797c891 Mon Sep 17 00:00:00 2001 From: johnwesley Date: Sun, 18 Aug 2019 13:50:25 +0200 Subject: [PATCH] update docs for makefile --- docs/deploy-from-docker.md | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/docs/deploy-from-docker.md b/docs/deploy-from-docker.md index 2efd5e3..9e7438a 100644 --- a/docs/deploy-from-docker.md +++ b/docs/deploy-from-docker.md @@ -46,6 +46,13 @@ $ docker run --cap-drop=all -it \ trailofbits/algo:latest ``` +## GNU Makefile for Docker + +You can also build and deploy with a Makefile. This simplifies some of the command strings and opens the door for further user configuration. + +The `Makefile` consists of three targets: `docker-build`, `docker-deploy`, and `docker-prune`. +`docker-all` will run thru all of them. + ## Building Your Own Docker Image You can use the Dockerfile provided in this repository as-is, or modify it to suit your needs. Further instructions on building an image can be found in the [Docker engine](https://docs.docker.com/engine/) documents.