diff --git a/support/mkdocs b/support/mkdocs index ae106e9c..aa8666b5 100755 --- a/support/mkdocs +++ b/support/mkdocs @@ -2,6 +2,9 @@ # A script to invoke mkdocs with the correct environment. # Additionally supports deploying via mike: # ./mkdocs deploy [mike-deploy-options] +# For example: +# ./mkdocs deploy +# This will checkout website to fmt/build/fmt.dev and deploy to it. import errno, os, shutil, sys from subprocess import call