#!/bin/bash
set -e

# get into this script's directory
cd "$(dirname "$(readlink -f "$BASH_SOURCE")")"

[ "$1" = '-q' ] || {
	set -x
	pwd
}

mkdir -p ../man1

for FILE in docker*.md; do
	pandoc -s -t man "$FILE" -o "../man1/${FILE%.*}.1"
done