From 7801072851315cd1409d5d82a5e649659aa06b79 Mon Sep 17 00:00:00 2001
From: Morten Linderud <morten@linderud.pw>
Date: Wed, 31 Mar 2021 00:35:26 +0200
Subject: Makefile: introduce install.docker-full

The split of install.docker and install.docker-docs makes some sense but
there should be some way to specify both for packagers.

This introduces `make install.docker-full` which installs both the
docker binary and the documentation.

Signed-off-by: Morten Linderud <morten@linderud.pw>
---
 Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Makefile b/Makefile
index c7a91c27e..705ac4ded 100644
--- a/Makefile
+++ b/Makefile
@@ -558,6 +558,9 @@ install.docker-docs-nobuild:
 .PHONY: install.docker-docs
 install.docker-docs: docker-docs install.docker-docs-nobuild
 
+.PHONY: install.docker-full
+install.docker-full: install.docker install.docker-docs
+
 .PHONY: install.systemd
 ifneq (,$(findstring systemd,$(BUILDTAGS)))
 install.systemd:
-- 
cgit v1.2.3-54-g00ecf