diff options
author | 2018-03-02 19:17:18 +0000 | |
---|---|---|
committer | 2018-03-02 19:17:18 +0000 | |
commit | 44a296f53e8faf2b458c59355e5a2506ad46aca5 (patch) | |
tree | b4ac25fb82eab0c7e4a138c6c4d442a3b28876c1 /packages/docker/README.md | |
parent | 1aaed5799c4796ff757b9be8e70a61d2caafc38b (diff) | |
parent | 1336873e38435dd1b8d7e88cda9b8012dd83f575 (diff) |
Merge "Move docker_*.sh scripts into policy/engine"
Diffstat (limited to 'packages/docker/README.md')
-rw-r--r-- | packages/docker/README.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/packages/docker/README.md b/packages/docker/README.md new file mode 100644 index 000000000..519f31216 --- /dev/null +++ b/packages/docker/README.md @@ -0,0 +1,3 @@ +To build the policy-pe docker image: +1. Build the policy-pe repository +2. Run: policy-pe/docker-verify.sh or policy-pe/docker-build.sh or policy-pe/docker-merge.sh as required. |