From 6bf51f4555b11526d98a7ca232a8f6d762435a39 Mon Sep 17 00:00:00 2001
From: 8ear <github@8ear.de>
Date: Fri, 2 Aug 2019 09:02:32 +0200
Subject: [PATCH] Add `make deploy`

---
 Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Makefile b/Makefile
index 78efd7e7..06d28fdf 100644
--- a/Makefile
+++ b/Makefile
@@ -12,6 +12,10 @@ prepare_docs:
 generate_docs: prepare_docs
 	docker run --rm -it -v $(PWD):/docs squidfunk/mkdocs-material build
 
+# https://www.mkdocs.org/user-guide/deploying-your-docs/
+deploy:
+	docker run --rm -it -v $(PWD):/docs -v /home/$(whoami)/.docker:/root/.docker:ro squidfunk/mkdocs-material gh-deploy
+
 ci_generate_docs: prepare_docs
 	mkdocs build