From 0a0fef645d1e7cf613317cd4825ad3193ba3fd44 Mon Sep 17 00:00:00 2001 From: Colin White Date: Fri, 30 Sep 2022 15:55:15 -0700 Subject: [PATCH] Reference mkdocs directly in the deploy_docs script. --- deploy_docs.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deploy_docs.sh b/deploy_docs.sh index 4335532ac9..7d9a05516a 100755 --- a/deploy_docs.sh +++ b/deploy_docs.sh @@ -17,7 +17,7 @@ cp README-tr.md docs/README-tr.md cp README-zh.md docs/README-zh.md # Deploy to Github pages. -mkdocs gh-deploy +python3 -m mkdocs gh-deploy # Clean up. rm docs/index.md \