#!/usr/bin/env bash
+# sleep and the sub-command are there to make sure wget is called *after* `make website` has started. This ensures the website to be fetched correctly.
(sleep 10;
wget --recursive --no-parent --domains localhost --page-requisites --html-extension --convert-links --no-clobber http://localhost:4567/docs/providers/mailgun/;
rm -rf terraform-provider-website;
mv localhost:4567/ terraform-provider-website;
+mv index.html terraform-provider-website/index.html
docker stop "$(docker ps -q)") &