From 858b7e3a4493d7780464b52c4cc8a381716d1e32 Mon Sep 17 00:00:00 2001
From: Misha Puzanov <misha.puzanov@gmail.com>
Date: Mon, 12 Jun 2023 14:00:18 +0200
Subject: [PATCH] Improve build instruction

---
 DEVELOPER.md | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/DEVELOPER.md b/DEVELOPER.md
index c899d9e6..cf4653e7 100644
--- a/DEVELOPER.md
+++ b/DEVELOPER.md
@@ -16,7 +16,11 @@ There is a value `currentDatabaseVersion` definted in `Database.hs`, that needs
 ## Docker build
 
 ```
-docker build . --file Dockerfile.prover --tag rpki-prover 
+export RELEASE=X.Y.Z 
+docker build . --file Dockerfile.prover --tag lolepezy/rpki-prover:${RELEASE} && \
+docker tag lolepezy/rpki-prover:${RELEASE} lolepezy/rpki-prover:latest && \
+docker push lolepezy/rpki-prover:${RELEASE} && \
+docker push lolepezy/rpki-prover:latest
 ```
 
 ## Building static Linux executable