From 214d9856b39bfa9bfb5c3f83a4c3d19e20167a72 Mon Sep 17 00:00:00 2001 From: JC Brand Date: Thu, 8 Feb 2018 20:21:48 +0100 Subject: [PATCH] Add dockerhtml Makefile recipe --- Makefile | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Makefile b/Makefile index f1ea374b..e682928f 100644 --- a/Makefile +++ b/Makefile @@ -167,6 +167,10 @@ preview: docker: docker build -t xmpp-org/extensions . +.PHONY: dockerhtml +dockerhtml: + docker build -t xmpp-org/extensions . --build-arg NCORES=9 --build-arg TARGETS="html inbox-html" + .PHONY: testdocker testdocker: docker run -d --name tmpxeps -p 3080:80 xmpp-org/extensions