From af08ba93e66a033c563d9eb61b202cff29abda29 Mon Sep 17 00:00:00 2001 From: Jack May Date: Thu, 19 Nov 2020 13:34:21 -0800 Subject: [PATCH] fix doc redirects (#13709) --- docs/publish-docs.sh | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) diff --git a/docs/publish-docs.sh b/docs/publish-docs.sh index 51da9c9b58..33bcbf0653 100755 --- a/docs/publish-docs.sh +++ b/docs/publish-docs.sh @@ -31,17 +31,17 @@ cat > "$CONFIG_FILE" <