.gitignore

@@ -16,4 +16,3 @@ tmp*
 \.vagrant
 vendor/bundle
 *.zip
-mkdocs.yml

overlay.sh

@@ -1,36 +0,0 @@
-#!/bin/sh
-
-UID=$(id -u)
-GID=$(id -g)
-CURDIR=$(pwd)
-
-set -u 
-set -e
-
-echo "Umounting merge directory if it is mounted"
-if mount | grep -q "${CURDIR}.merge"; then
-  sudo umount -lf "${CURDIR}.merge"
-fi
-
-# echo "Removing old upper directory"
-# sudo rm -rf "${CURDIR}.upper"
-
-echo "Creating directories"
-sudo mkdir -p "${CURDIR}.upper"
-sudo mkdir -p "${CURDIR}.workdir"
-sudo mkdir -p "${CURDIR}.merge"
-
-echo "Setting permissions"
-sudo chown "$UID:$GID" "${CURDIR}.upper"
-sudo chown "$UID:$GID" "${CURDIR}.workdir"
-sudo chown "$UID:$GID" "${CURDIR}.merge"
-
-echo "Mounting filesystem"
-sudo mount -t overlay \
-	-o "lowerdir=${CURDIR},upperdir=${CURDIR}.upper,workdir=${CURDIR}.workdir" \
-	overlay \
-	"${CURDIR}.merge"
-
-echo "Running shell"
-cd "${CURDIR}.merge" || exit 1
-exec $SHELL

tasks/docs.mk

@@ -17,12 +17,12 @@ clean-docs: ## remove generated static docs site
 .PHONY: clean-docs
 clean: clean-docs
 
-# deploy-docs: ## deploy static docs site to github
+deploy-docs: ## deploy static docs site to github
-# 	git push $(DEPLOY_REPO)
+	git push $(DEPLOY_REPO)
-# 	pipenv run mkdocs gh-deploy $(DEPLOY_OPTS)
+	pipenv run mkdocs gh-deploy $(DEPLOY_OPTS)
 
-# .PHONY: deploy-docs
+.PHONY: deploy-docs
-# deploy: deploy-docs
+deploy: deploy-docs
 
 build-docs-pdf:  ## build pdf docs only
 	mkdir -p $(BUILD_DOCS_DIR)