diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/launch-website.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/launch-website.sh b/scripts/launch-website.sh index ec9e92c..dda894d 100755 --- a/scripts/launch-website.sh +++ b/scripts/launch-website.sh | |||
| @@ -1,6 +1,6 @@ | |||
| 1 | #!/usr/bin/env bash | 1 | #!/usr/bin/env bash |
| 2 | 2 | ||
| 3 | #the sleep and the subquery & are here to ensure that wget is called after make website have done its work so that the website is gotten correctly | 3 | # 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. |
| 4 | (sleep 10; | 4 | (sleep 10; |
| 5 | wget --recursive --no-parent --domains localhost --page-requisites --html-extension --convert-links --no-clobber http://localhost:4567/docs/providers/mailgun/; | 5 | wget --recursive --no-parent --domains localhost --page-requisites --html-extension --convert-links --no-clobber http://localhost:4567/docs/providers/mailgun/; |
| 6 | 6 | ||