]> git.proxmox.com Git - pve-docs.git/commitdiff
make dinstall: skip mediawiki deb for now
authorThomas Lamprecht <t.lamprecht@proxmox.com>
Thu, 11 Jul 2019 16:56:29 +0000 (18:56 +0200)
committerThomas Lamprecht <t.lamprecht@proxmox.com>
Thu, 11 Jul 2019 16:56:29 +0000 (18:56 +0200)
Signed-off-by: Thomas Lamprecht <t.lamprecht@proxmox.com>
Makefile

index 4399d37c5a765037138508109e3ad395762f1cce..491f7772f0587ab3fec272d4d2274e60c2626d19 100644 (file)
--- 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}
 
 .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)
 
 .PHONY: deb
 deb: $(DOC_DEB)