From a45c999b4586734621bbc968d67f87390739b270 Mon Sep 17 00:00:00 2001 From: Thomas Lamprecht Date: Thu, 11 Jul 2019 18:56:29 +0200 Subject: [PATCH] make dinstall: skip mediawiki deb for now Signed-off-by: Thomas Lamprecht --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 4399d37..491f777 100644 --- a/Makefile +++ b/Makefile @@ -153,7 +153,7 @@ api-viewer/apidoc.js: api-viewer/apidata.js api-viewer/PVEAPI.js .PHONY: dinstall dinstall: ${GEN_DEB} ${DOC_DEB} ${MEDIAWIKI_DEB} - dpkg -i ${GEN_DEB} ${DOC_DEB} ${MEDIAWIKI_DEB} + dpkg -i ${GEN_DEB} ${DOC_DEB} # ${MEDIAWIKI_DEB} .PHONY: deb deb: $(DOC_DEB) -- 2.39.2