diff --git a/Makefile b/Makefile
index cf16212..92038e8 100644
--- a/Makefile
+++ b/Makefile
@@ -18,6 +18,9 @@ doc:
 serve:
 	python3 -m http.server -d docs
 
+docker:
+	docker build -t coq-ogs:latest .
+
 
 clean:
 	rm -rf _build _alectryon docs