From 337684b3844963e8e84b129738075c7124af548e Mon Sep 17 00:00:00 2001 From: Jack May Date: Mon, 9 Nov 2020 14:10:38 -0800 Subject: [PATCH] update doc redirects (#13481) --- docs/publish-docs.sh | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/docs/publish-docs.sh b/docs/publish-docs.sh index b260aaae8e..51da9c9b58 100755 --- a/docs/publish-docs.sh +++ b/docs/publish-docs.sh @@ -28,9 +28,7 @@ fi cat > "$CONFIG_FILE" < "$CONFIG_FILE" <