From dc409ee86d55652c929b19cae1a9e8310aef68f5 Mon Sep 17 00:00:00 2001 From: Victor Zverovich Date: Sun, 21 Sep 2025 08:09:30 -0700 Subject: [PATCH] Explain mkdocs deploy invocation --- support/mkdocs | 3 +++ 1 file changed, 3 insertions(+) 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