makefile docker rule

Lapin0t · Jan 10, 2025 · d4a11a9 · d4a11a9
1 parent 981cc81
commit d4a11a9
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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